Details

Time bar (total: 13.8s)

sample68.0ms

Algorithm
intervals
Results
12.0ms180×body80valid
11.0ms30×body1280valid
9.0ms106×body80nan
6.0ms22×body640valid
3.0ms18×body320valid
3.0ms9×body1280nan
2.0ms10×body640nan
1.0ms6×body320nan
1.0ms6×body160valid
0.0ms2×body160nan

simplify870.0ms

Counts
1 → 1
Iterations
IterNodes
done5000
92335
8741
7343
6223
5123
475
341
229
119
09

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.1b

localize24.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.7b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite129.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 clear-num frac-2neg div-exp rem-log-exp div-inv
Counts
4 → 108
Calls
4 calls:
37.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
28.0ms
(/ (- x y) (- 1.0 y))
34.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
26.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series357.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
56.0ms
(/ (- x y) (- 1.0 y))
76.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
100.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify773.0ms

Counts
120 → 120
Iterations
IterNodes
done5000
21712
1498
0204

prune671.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))
1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.4b
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
3.4b
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

rewrite159.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
18×log-prod
16×*-un-lft-identity
12×sqrt-prod
8×pow1 add-cube-cbrt add-log-exp difference-of-squares
6×add-exp-log log-pow
4×log-div times-frac flip3-- add-cbrt-cube sqrt-div flip-- distribute-lft-out--
2×sub-neg sqrt-pow1 pow1/2 diff-log div-sub rem-log-exp associate--r-
Counts
4 → 76
Calls
4 calls:
51.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
27.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
36.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
41.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series600.0ms

Counts
4 → 12
Calls
4 calls:
95.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
80.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
247.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
178.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify1.3s

Counts
88 → 88
Iterations
IterNodes
done5000
32790
2655
1229
0114

prune559.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize67.0ms

Local error

Found 4 expressions with local error:

1.7b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.4b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
18×log-prod
15×*-un-lft-identity
8×difference-of-squares
7×pow1 add-exp-log add-cube-cbrt
6×log-div add-log-exp
4×times-frac flip3-- add-cbrt-cube flip-- distribute-lft-out--
3×rem-log-exp log-pow
1×sub-neg diff-log div-sub associate--r-
Counts
4 → 67
Calls
4 calls:
39.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
35.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
26.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
42.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series412.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
114.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
118.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))
111.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.1s

Counts
79 → 79
Iterations
IterNodes
done5000
32635
2587
1198
091

prune579.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (/ x y) (/ (* 1.0 x) (pow y 2))) (/ 1.0 y))
3.2b
(log (- (+ (/ x y) (/ (* 1.0 x) (pow y 2))) (/ 1.0 y)))
4.3b
(+ (/ x y) (/ (* 1.0 x) (pow y 2)))
7.3b
(/ (* 1.0 x) (pow y 2))

rewrite446.0ms

Algorithm
rewrite-expression-head
Rules
24×*-un-lft-identity
19×add-sqr-sqrt
18×add-exp-log
14×times-frac
11×add-log-exp
9×add-cbrt-cube add-cube-cbrt
8×associate-/r*
7×log-prod
6×unpow-prod-down div-exp frac-sub
5×pow1 log-div unpow2
4×distribute-lft-out-- difference-of-squares
3×flip3-+ frac-add prod-exp flip-+ distribute-lft-out
2×pow-to-exp cbrt-undiv sum-log distribute-rgt-out flip3-- diff-log pow-exp flip-- sqr-pow
1×+-commutative clear-num sub-neg frac-2neg rem-log-exp distribute-rgt1-in associate--l+ log-pow cbrt-unprod div-inv associate-/l*
Counts
4 → 93
Calls
4 calls:
287.0ms
(- (+ (/ x y) (/ (* 1.0 x) (pow y 2))) (/ 1.0 y))
121.0ms
(log (- (+ (/ x y) (/ (* 1.0 x) (pow y 2))) (/ 1.0 y)))
24.0ms
(+ (/ x y) (/ (* 1.0 x) (pow y 2)))
10.0ms
(/ (* 1.0 x) (pow y 2))

series311.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- (+ (/ x y) (/ (* 1.0 x) (pow y 2))) (/ 1.0 y))
123.0ms
(log (- (+ (/ x y) (/ (* 1.0 x) (pow y 2))) (/ 1.0 y)))
97.0ms
(+ (/ x y) (/ (* 1.0 x) (pow y 2)))
42.0ms
(/ (* 1.0 x) (pow y 2))

simplify1.3s

Counts
105 → 105
Iterations
IterNodes
done5002
22602
1486
0199

prune518.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes528.0ms

Accuracy

99.7% (0.1b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 18.5b

bsearch151.0ms

Steps
ItersRangePoint
7
383123.6636286385
64260609.3427585
43744445.70071104
5
-83422883652835.42
-34132302576650.152
-34474611802046.883

simplify6.0ms

Iterations
IterNodes
done34
134
031

end0.0ms

sample2.6s

Algorithm
intervals
Results
695.0ms826×body640valid
516.0ms5674×body80valid
374.0ms786×body1280valid
223.0ms3770×body80nan
118.0ms412×body640nan
95.0ms345×body1280nan
77.0ms461×body320valid
74.0ms253×body160valid
31.0ms192×body320nan
12.0ms120×body160nan