Details

Time bar (total: 16.0s)

sample45.0ms

Algorithm
intervals
Results
7.0ms164×body80valid
7.0ms31×body1280valid
4.0ms132×body80nan
4.0ms26×body640valid
3.0ms24×body320valid
1.0ms8×body1280nan
1.0ms9×body320nan
1.0ms11×body160valid
1.0ms6×body640nan
0.0ms3×body160nan

simplify131.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

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

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 22.5b

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

rewrite144.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:
49.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
22.0ms
(/ (- x y) (- 1.0 y))
37.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
32.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series313.0ms

Counts
4 → 12
Calls
4 calls:
115.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
52.0ms
(/ (- x y) (- 1.0 y))
56.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
90.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.7s

Counts
120 → 120
Iterations

Useful iterations: 3 (884.0ms)

IterNodesCost
02051894
14891792
212261680
332671671
done50001671

prune304.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

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

rewrite177.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:
36.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
23.0ms
(/ (- x y) (- 1.0 y))
73.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
38.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series430.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
42.0ms
(/ (- x y) (- 1.0 y))
143.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
65.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify2.5s

Counts
156 → 156
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
02672917
16222789
215462647
340002594
done50002594

prune466.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

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

rewrite119.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:
50.0ms
(log (* 1.0 (+ (* (exp 1.0) (- x y)) (exp 1.0))))
28.0ms
(+ (* (exp 1.0) (- x y)) (exp 1.0))
38.0ms
(* (exp 1.0) (- x y))

series357.0ms

Counts
3 → 9
Calls
3 calls:
197.0ms
(log (* 1.0 (+ (* (exp 1.0) (- x y)) (exp 1.0))))
61.0ms
(+ (* (exp 1.0) (- x y)) (exp 1.0))
99.0ms
(* (exp 1.0) (- x y))

simplify3.1s

Counts
64 → 64
Iterations

Useful iterations: done (3.1s)

IterNodesCost
0116810
1282752
2950656
34198635
done5000626

prune220.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.0b
(- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))
0.1b
(* (+ 1 (/ 1.0 y)) (/ x y))
0.6b
(/ (exp 1.0) (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y)))
12.8b
(log (/ (exp 1.0) (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
32×add-sqr-sqrt
29×*-un-lft-identity
28×times-frac
27×add-cube-cbrt
21×log-prod
16×associate-/r/
15×frac-sub
13×associate-*r*
12×add-exp-log
11×add-cbrt-cube
8×frac-times flip3-+ associate-*l/ flip-+
7×pow1 associate-*r/
6×add-log-exp
4×associate-*l*
3×flip3-- div-exp associate-/r* flip-- div-inv associate-/l* sub-div
2×cbrt-undiv rem-log-exp prod-exp cbrt-unprod unswap-sqr
1×sub-neg log-div frac-2neg diff-log pow-prod-down clear-num log-pow *-commutative distribute-lft-out
Counts
4 → 122
Calls
4 calls:
32.0ms
(- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))
58.0ms
(* (+ 1 (/ 1.0 y)) (/ x y))
74.0ms
(/ (exp 1.0) (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y)))
27.0ms
(log (/ (exp 1.0) (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))))

series425.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))
76.0ms
(* (+ 1 (/ 1.0 y)) (/ x y))
156.0ms
(/ (exp 1.0) (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y)))
158.0ms
(log (/ (exp 1.0) (- (* (+ 1 (/ 1.0 y)) (/ x y)) (/ 1.0 y))))

simplify1.7s

Counts
134 → 134
Iterations

Useful iterations: done (1.7s)

IterNodesCost
02613130
16292936
219342737
done50002649

prune530.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes183.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 18.1b

bsearch183.0ms

Steps
ItersRangePoint
10
0.00565890190154967
3744461241692.0635
54137734.38243346
9
-534556523479.6495
-34576.49081739624
-212491914.19131115

simplify4.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02455
13139
done3139

end0.0ms

sample2.7s

Algorithm
intervals
Results
914.0ms5726×body80valid
365.0ms821×body1280valid
265.0ms3819×body80nan
225.0ms797×body640valid
146.0ms360×body1280nan
86.0ms416×body640nan
72.0ms424×body320valid
67.0ms232×body160valid
34.0ms225×body320nan
13.0ms130×body160nan