Details

Time bar (total: 9.9s)

sample23.0ms

Algorithm
intervals
Results
6.0ms256×body80valid
6.0ms270×body80nan

simplify5.0ms

Counts
1 → 1
Iterations
IterNodes
done13
313
211
17
05

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b
(- 1.0 (* x x))
0.0b
(sqrt (- 1.0 (* x x)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×sqrt-prod add-log-exp
3×pow1 fma-neg prod-diff
2×expm1-log1p-u flip3-- add-cbrt-cube sqrt-div add-exp-log log1p-expm1-u flip-- difference-of-squares
1×rem-sqrt-square sub-neg sqrt-pow1 pow1/2 diff-log
Counts
2 → 39
Calls
2 calls:
5.0ms
(- 1.0 (* x x))
7.0ms
(sqrt (- 1.0 (* x x)))

series111.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(- 1.0 (* x x))
67.0ms
(sqrt (- 1.0 (* x x)))

simplify854.0ms

Counts
45 → 45
Iterations
IterNodes
done5001
2904
1208
087

prune143.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- (* (* 1.0 1.0) 1.0) (* (* (* x x) x) (* (* x x) x))) (fma (* x x) (+ 1.0 (* x x)) (* 1.0 1.0)))
0.1b
(* (* (* x x) x) (* (* x x) x))
0.1b
(* (* x x) x)
0.1b
(* (* x x) x)

rewrite519.0ms

Algorithm
rewrite-expression-head
Rules
584×pow1
290×pow-prod-up
203×pow-plus
101×pow-prod-down
90×pow-sqr
57×pow2
52×add-cbrt-cube add-exp-log
36×pow3
33×prod-exp cbrt-unprod
17×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
12×times-frac
7×associate-*r*
4×expm1-log1p-u difference-cubes log1p-expm1-u associate-/l* add-log-exp
3×associate-/r* associate-*l* *-commutative
2×unswap-sqr associate-/l/
1×cbrt-undiv clear-num frac-2neg flip3-- div-sub swap-sqr div-exp div-inv flip--
Counts
4 → 289
Calls
4 calls:
325.0ms
(/ (- (* (* 1.0 1.0) 1.0) (* (* (* x x) x) (* (* x x) x))) (fma (* x x) (+ 1.0 (* x x)) (* 1.0 1.0)))
119.0ms
(* (* (* x x) x) (* (* x x) x))
25.0ms
(* (* x x) x)
22.0ms
(* (* x x) x)

series411.0ms

Counts
4 → 12
Calls
4 calls:
235.0ms
(/ (- (* (* 1.0 1.0) 1.0) (* (* (* x x) x) (* (* x x) x))) (fma (* x x) (+ 1.0 (* x x)) (* 1.0 1.0)))
63.0ms
(* (* (* x x) x) (* (* x x) x))
54.0ms
(* (* x x) x)
60.0ms
(* (* x x) x)

simplify4.2s

Counts
301 → 301
Iterations
IterNodes
done5000
23442
1503
0160

prune612.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (cbrt (* (* (* x x) x) (* (* x x) x))) (cbrt (* (* (* x x) x) (* (* x x) x))))
18.3b
(cbrt (* (* (* x x) x) (* (* x x) x)))
18.3b
(cbrt (* (* (* x x) x) (* (* x x) x)))
18.3b
(cbrt (* (* (* x x) x) (* (* x x) x)))

rewrite457.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×cbrt-prod pow1
9×pow1/3
8×*-un-lft-identity add-cube-cbrt
6×pow3 add-exp-log
5×pow-prod-down
4×expm1-log1p-u add-cbrt-cube swap-sqr associate-*r* associate-*l* log1p-expm1-u add-log-exp unswap-sqr
3×rem-cbrt-cube
2×pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 72
Calls
4 calls:
94.0ms
(* (cbrt (* (* (* x x) x) (* (* x x) x))) (cbrt (* (* (* x x) x) (* (* x x) x))))
116.0ms
(cbrt (* (* (* x x) x) (* (* x x) x)))
123.0ms
(cbrt (* (* (* x x) x) (* (* x x) x)))
120.0ms
(cbrt (* (* (* x x) x) (* (* x x) x)))

series175.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (cbrt (* (* (* x x) x) (* (* x x) x))) (cbrt (* (* (* x x) x) (* (* x x) x))))
40.0ms
(cbrt (* (* (* x x) x) (* (* x x) x)))
37.0ms
(cbrt (* (* (* x x) x) (* (* x x) x)))
38.0ms
(cbrt (* (* (* x x) x) (* (* x x) x)))

simplify968.0ms

Counts
84 → 84
Iterations
IterNodes
done5000
2524
1110
049

prune522.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify7.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample849.0ms

Algorithm
intervals
Results
333.0ms8000×body80valid
248.0ms7944×body80nan