Details

Time bar (total: 14.8s)

sample78.0ms

Algorithm
intervals
Results
14.0ms164×body80valid
13.0ms31×body1280valid
9.0ms132×body80nan
8.0ms26×body640valid
6.0ms24×body320valid
3.0ms8×body1280nan
2.0ms9×body320nan
2.0ms11×body160valid
2.0ms6×body640nan
0.0ms3×body160nan

simplify141.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11912
22912
34112
45412
56212
67012
78512
810312
911612
done11612

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
3.2b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.3b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
59×add-sqr-sqrt
51×*-un-lft-identity
28×times-frac
19×difference-of-squares
18×add-cube-cbrt
17×distribute-lft-out--
12×log-prod
7×add-exp-log add-log-exp
6×pow1 flip3-- add-cbrt-cube flip-- associate--r+
5×associate-/r* associate-/l*
4×log-div
3×associate--r-
2×sub-neg diff-log div-sub associate-/r/ log-pow associate-/l/
1×cbrt-undiv frac-2neg div-exp rem-log-exp clear-num div-inv
Counts
4 → 108
Calls
4 calls:
61.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
26.0ms
(/ (- x y) (- 1.0 y))
38.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
34.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series461.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
77.0ms
(/ (- x y) (- 1.0 y))
97.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
144.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify2.3s

Counts
120 → 120
Iterations

Useful iterations: 3 (1.1s)

IterNodesCost
02051894
14891792
212261680
332671671
done50001671

prune538.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b
(/ (- x y) (- 1.0 y))
0.1b
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
3.2b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite240.0ms

Algorithm
rewrite-expression-head
Rules
101×add-sqr-sqrt
77×*-un-lft-identity
69×times-frac
37×add-cube-cbrt
28×difference-of-squares
24×log-prod
20×distribute-lft-out--
11×associate-/r*
9×add-exp-log
8×add-cbrt-cube associate-/l*
6×associate-/r/ add-log-exp
5×pow1 flip3-- flip--
3×div-exp div-inv
2×cbrt-undiv frac-2neg div-sub rem-log-exp clear-num associate-/l/
1×sub-neg log-div diff-log log-pow associate--r-
Counts
4 → 144
Calls
4 calls:
51.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
37.0ms
(/ (- x y) (- 1.0 y))
101.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
39.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series575.0ms

Counts
4 → 12
Calls
4 calls:
243.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
60.0ms
(/ (- x y) (- 1.0 y))
175.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
96.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify3.0s

Counts
156 → 156
Iterations

Useful iterations: 3 (1.5s)

IterNodesCost
02672917
16222789
215462647
340002594
done50002594

prune599.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(log (* 1.0 (+ (* (exp 1.0) (- x y)) (exp 1.0))))
0.0b
(+ (* (exp 1.0) (- x y)) (exp 1.0))
0.3b
(* (exp 1.0) (- x y))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
8×pow1
7×add-exp-log *-un-lft-identity
5×add-cube-cbrt associate-*r* add-cbrt-cube add-log-exp
4×distribute-rgt-in sub-neg associate-+l+ distribute-lft-in associate-*r/
3×associate-*l*
2×log-div flip3-+ rem-log-exp pow-prod-down prod-exp log-pow flip-+
1×+-commutative log-prod flip3-- sum-log *-commutative flip-- cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 55
Calls
3 calls:
32.0ms
(log (* 1.0 (+ (* (exp 1.0) (- x y)) (exp 1.0))))
38.0ms
(+ (* (exp 1.0) (- x y)) (exp 1.0))
37.0ms
(* (exp 1.0) (- x y))

series408.0ms

Counts
3 → 9
Calls
3 calls:
214.0ms
(log (* 1.0 (+ (* (exp 1.0) (- x y)) (exp 1.0))))
96.0ms
(+ (* (exp 1.0) (- x y)) (exp 1.0))
98.0ms
(* (exp 1.0) (- x y))

simplify3.3s

Counts
64 → 64
Iterations

Useful iterations: done (3.3s)

IterNodesCost
0116810
1282752
2950656
34198635
done5000626

prune216.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))
0.1b
(* (+ 1 (/ 1.0 y)) (/ x y))
1.5b
(log (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y)))

rewrite171.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
14×*-un-lft-identity
13×associate-*r*
12×add-cube-cbrt
10×times-frac frac-sub
9×add-exp-log
8×log-div add-cbrt-cube
6×pow1 frac-times flip3-+ associate-*l/ flip-+
5×associate-*r/ add-log-exp
4×associate-*l*
3×log-prod
2×flip3-- prod-exp flip-- cbrt-unprod sub-div unswap-sqr
1×cbrt-undiv sub-neg diff-log div-exp rem-log-exp pow-prod-down log-pow *-commutative div-inv distribute-lft-out
Counts
3 → 75
Calls
3 calls:
44.0ms
(- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))
76.0ms
(* (+ 1 (/ 1.0 y)) (/ x y))
48.0ms
(log (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y)))

series239.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))
73.0ms
(* (+ 1 (/ 1.0 y)) (/ x y))
114.0ms
(log (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y)))

simplify1.8s

Counts
84 → 84
Iterations

Useful iterations: done (1.8s)

IterNodesCost
01831688
14441561
214301438
done50001403

prune292.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes2.0ms