Details

Time bar (total: 18.4s)

sample106.0ms

Algorithm
intervals
Results
19.0ms6×body640nan
15.0ms164×body80valid
15.0ms31×body1280valid
10.0ms26×body640valid
10.0ms132×body80nan
6.0ms24×body320valid
4.0ms8×body1280nan
2.0ms9×body320nan
2.0ms11×body160valid
0.0ms3×body160nan

simplify212.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.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

localize21.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))))

rewrite317.0ms

Algorithm
rewrite-expression-head
Rules
192×add-sqr-sqrt
184×*-un-lft-identity
105×prod-diff
103×times-frac
91×add-cube-cbrt
49×difference-of-squares
47×distribute-lft-out--
12×log-prod
9×pow1 flip3-- flip--
8×associate-/r/
7×add-exp-log add-log-exp
6×fma-neg add-cbrt-cube associate--r+
5×associate-/r* log-pow associate-/l*
4×expm1-log1p-u log-div log1p-expm1-u div-inv
3×associate--r-
2×sub-neg diff-log div-sub associate-/l/
1×cbrt-undiv frac-2neg div-exp rem-log-exp clear-num
Counts
4 → 227
Calls
4 calls:
78.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
47.0ms
(/ (- x y) (- 1.0 y))
92.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
74.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series416.0ms

Counts
4 → 12
Calls
4 calls:
145.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
52.0ms
(/ (- x y) (- 1.0 y))
107.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
112.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify2.5s

Counts
239 → 239
Iterations

Useful iterations: done (2.5s)

IterNodesCost
03908619
19787647
226965742
done50004742

prune724.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize27.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)))

rewrite276.0ms

Algorithm
rewrite-expression-head
Rules
226×add-sqr-sqrt
202×*-un-lft-identity
144×times-frac
102×add-cube-cbrt
93×prod-diff
58×difference-of-squares
50×distribute-lft-out--
24×log-prod
12×associate-/r/
11×associate-/r*
9×add-exp-log
8×flip3-- add-cbrt-cube flip-- associate-/l*
6×div-inv add-log-exp
5×pow1
4×expm1-log1p-u log1p-expm1-u
3×fma-neg div-exp
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 → 248
Calls
4 calls:
50.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
26.0ms
(/ (- x y) (- 1.0 y))
102.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
80.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series541.0ms

Counts
4 → 12
Calls
4 calls:
215.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
52.0ms
(/ (- x y) (- 1.0 y))
190.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
83.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify3.0s

Counts
260 → 260
Iterations

Useful iterations: done (3.0s)

IterNodesCost
04328789
110668133
229166364
done50015518

prune795.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt *-un-lft-identity
18×prod-diff
17×add-cube-cbrt
11×distribute-rgt-in distribute-lft-in
9×pow1
8×add-exp-log add-cbrt-cube
5×associate-*r*
3×expm1-log1p-u log-prod pow-prod-down prod-exp cbrt-unprod log1p-expm1-u add-log-exp
2×sub-neg associate-*r/
1×flip3-- rem-log-exp associate-*l* log-pow *-commutative flip-- fma-udef distribute-lft-out-- difference-of-squares
Counts
3 → 70
Calls
3 calls:
1.0ms
(log (fma 1.0 (exp 1.0) (* (* 1.0 (exp 1.0)) (- x y))))
0.0ms
(fma 1.0 (exp 1.0) (* (* 1.0 (exp 1.0)) (- x y)))
70.0ms
(* (* 1.0 (exp 1.0)) (- x y))

series514.0ms

Counts
3 → 9
Calls
3 calls:
241.0ms
(log (fma 1.0 (exp 1.0) (* (* 1.0 (exp 1.0)) (- x y))))
130.0ms
(fma 1.0 (exp 1.0) (* (* 1.0 (exp 1.0)) (- x y)))
143.0ms
(* (* 1.0 (exp 1.0)) (- x y))

simplify4.4s

Counts
79 → 79
Iterations

Useful iterations: done (4.4s)

IterNodesCost
01601503
13861314
211341028
34508982
done5000957

prune198.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ (exp 1.0) (- (fma 1.0 (/ x (pow y 2)) (/ x y)) (/ 1.0 y)))
3.3b
(fma 1.0 (/ x (pow y 2)) (/ x y))
7.6b
(/ x (pow y 2))
12.8b
(log (/ (exp 1.0) (- (fma 1.0 (/ x (pow y 2)) (/ x y)) (/ 1.0 y))))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
77×add-sqr-sqrt
67×times-frac
56×*-un-lft-identity
42×add-cube-cbrt
24×log-prod
14×associate-/r* difference-of-squares
12×add-exp-log unpow-prod-down
8×add-cbrt-cube
7×distribute-lft-out--
6×associate-/l*
5×pow1 div-exp
4×expm1-log1p-u associate-/r/ log1p-expm1-u unpow2 add-log-exp sqr-pow
3×div-inv
2×cbrt-undiv flip3-- frac-2neg rem-log-exp clear-num flip--
1×pow-to-exp log-div pow-exp log-pow fma-udef
Counts
4 → 141
Calls
4 calls:
29.0ms
(/ (exp 1.0) (- (fma 1.0 (/ x (pow y 2)) (/ x y)) (/ 1.0 y)))
0.0ms
(fma 1.0 (/ x (pow y 2)) (/ x y))
11.0ms
(/ x (pow y 2))
26.0ms
(log (/ (exp 1.0) (- (fma 1.0 (/ x (pow y 2)) (/ x y)) (/ 1.0 y))))

series408.0ms

Counts
4 → 12
Calls
4 calls:
142.0ms
(/ (exp 1.0) (- (fma 1.0 (/ x (pow y 2)) (/ x y)) (/ 1.0 y)))
83.0ms
(fma 1.0 (/ x (pow y 2)) (/ x y))
32.0ms
(/ x (pow y 2))
152.0ms
(log (/ (exp 1.0) (- (fma 1.0 (/ x (pow y 2)) (/ x y)) (/ 1.0 y))))

simplify3.1s

Counts
153 → 153
Iterations

Useful iterations: done (3.1s)

IterNodesCost
02693256
15363108
213172904
342252711
done50002706

prune668.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes2.0ms