Details

Time bar (total: 7.1s)

sample57.0ms

Algorithm
intervals
Results
11.0ms179×body80valid
7.0ms25×body1280valid
7.0ms31×body640valid
5.0ms106×body80nan
3.0ms11×body1280nan
2.0ms14×body320valid
2.0ms10×body640nan
1.0ms6×body320nan
1.0ms7×body160valid
1.0ms6×body160nan

simplify10.0ms

Counts
1 → 1

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.1b

localize35.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))
1.8b
(- 1.0 (/ (- x y) (- 1.0 y)))
2.9b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite169.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:
54.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
27.0ms
(/ (- x y) (- 1.0 y))
37.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
45.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series347.0ms

Counts
4 → 12
Calls
4 calls:
125.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
50.0ms
(/ (- x y) (- 1.0 y))
60.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
112.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify87.0ms

Counts
120 → 120

prune381.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(cbrt (- 1.0 y))
0.2b
(cbrt (- 1.0 y))
2.9b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
12.4b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite230.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
15×*-un-lft-identity
14×cbrt-prod
12×times-frac difference-of-squares
9×log-prod
7×add-cube-cbrt
6×add-log-exp
5×pow1 add-exp-log
4×cbrt-div flip3-- add-cbrt-cube flip-- distribute-lft-out--
2×log-div pow1/3 div-sub
1×sub-neg diff-log rem-log-exp log-pow associate--r-
Counts
4 → 69
Calls
4 calls:
4.0ms
(cbrt (- 1.0 y))
4.0ms
(cbrt (- 1.0 y))
92.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
127.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

series385.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(cbrt (- 1.0 y))
98.0ms
(cbrt (- 1.0 y))
117.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
75.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify63.0ms

Counts
81 → 81

prune321.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

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))))
1.8b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite210.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)))))
31.0ms
(/ (- x y) (- 1.0 y))
87.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
32.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series478.0ms

Counts
4 → 12
Calls
4 calls:
196.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
39.0ms
(/ (- x y) (- 1.0 y))
167.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
76.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify55.0ms

Counts
156 → 156

prune483.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (exp 1.0) (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
2.3b
(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
10.4b
(/ x (pow y 2))
15.5b
(log (/ (exp 1.0) (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))))

rewrite207.0ms

Algorithm
rewrite-expression-head
Rules
42×times-frac
36×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×log-prod
12×add-exp-log unpow-prod-down
11×associate-/r*
10×associate-/r/
9×associate-*r/ frac-add
8×add-cbrt-cube
6×associate-/l* add-log-exp
5×pow1 div-exp
4×associate-+l+ unpow2 sqr-pow
3×flip3-- flip3-+ frac-sub flip-- flip-+ div-inv
2×cbrt-undiv distribute-rgt-in sub-neg frac-2neg distribute-lft-in rem-log-exp clear-num
1×+-commutative pow-to-exp log-div pow-exp sum-log log-pow
Counts
4 → 128
Calls
4 calls:
89.0ms
(/ (exp 1.0) (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
53.0ms
(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
7.0ms
(/ x (pow y 2))
53.0ms
(log (/ (exp 1.0) (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))))

series278.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(/ (exp 1.0) (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
38.0ms
(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
23.0ms
(/ x (pow y 2))
116.0ms
(log (/ (exp 1.0) (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))))

simplify45.0ms

Counts
140 → 140

prune495.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes123.0ms

Accuracy

99% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 16.5b

bsearch206.0ms

Steps
ItersRangePoint
10
0.0352043534473022
490220111.3707295
17964049.731224976
6
-17926297463191962.0
-2585586786523257.0
-2635583561575173.0

simplify109.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
432.0ms463×body320valid
417.0ms5734×body80valid
346.0ms821×body1280valid
236.0ms761×body640valid
199.0ms3693×body80nan
98.0ms366×body640nan
91.0ms361×body1280nan
30.0ms224×body320nan
28.0ms221×body160valid
12.0ms130×body160nan