Details

Time bar (total: 7.9s)

sample37.0ms

Algorithm
intervals
Results
13.0ms256×body80valid
5.0ms256×pre80true

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done14
214
113
010

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize244.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* x x) 2.0)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
add-log-exp
add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
Counts
1 → 11
Calls
1 calls:
17.0ms
(+ (* x x) 2.0)

series79.0ms

Counts
1 → 3
Calls
1 calls:
79.0ms
(+ (* x x) 2.0)

simplify2.6s

Counts
14 → 14
Iterations
IterNodes
done5002
32291
2384
194
028

prune105.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize257.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- (* (* x x) (* x x)) (* 2.0 2.0)) (- (* x x) 2.0))
0.1b
(* (* x x) (* x x))

rewrite247.0ms

Algorithm
rewrite-expression-head
Rules
113×pow1
36×pow-prod-up
23×pow-prod-down
22×pow-sqr
18×pow-plus
17×add-sqr-sqrt
16×times-frac add-cbrt-cube add-exp-log
13×pow2
12×*-un-lft-identity add-cube-cbrt
10×difference-of-squares
prod-exp cbrt-unprod
associate-/r* associate-/l*
flip3-- associate-/r/ flip-- add-log-exp associate-/l/
cbrt-undiv clear-num frac-2neg div-sub swap-sqr div-exp associate-*r* associate-*l* *-commutative div-inv unswap-sqr
Counts
2 → 104
Calls
2 calls:
174.0ms
(/ (- (* (* x x) (* x x)) (* 2.0 2.0)) (- (* x x) 2.0))
65.0ms
(* (* x x) (* x x))

series341.0ms

Counts
2 → 6
Calls
2 calls:
273.0ms
(/ (- (* (* x x) (* x x)) (* 2.0 2.0)) (- (* x x) 2.0))
67.0ms
(* (* x x) (* x x))

simplify2.5s

Counts
110 → 110
Iterations
IterNodes
done5000
22270
1395
0132

prune518.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify3.0ms

Iterations
IterNodes
done14
014

end0.0ms

sample956.0ms

Algorithm
intervals
Results
437.0ms8000×body80valid
240.0ms8000×pre80true