Details

Time bar (total: 15.2s)

sample92.0ms

Algorithm
intervals
Results
21.0ms186×body80valid
17.0ms29×body1280valid
12.0ms109×body80nan
6.0ms20×body320valid
6.0ms12×body1280nan
6.0ms14×body640valid
3.0ms6×body640nan
2.0ms7×body320nan
2.0ms7×body160valid
2.0ms7×body160nan

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done2000
861980
851959
841939
831919
821898
811873
801854
791834
781811
771790
761771
751749
741728
731707
721687
711667
701646
691623
681604
671584
661561
651540
641521
631499
621478
611457
601435
591415
581394
571371
561352
551332
541309
531288
521269
511247
501226
491205
481185
471165
461144
451119
441100
431080
421057
411036
401017
39995
38974
37953
36933
35913
34892
33867
32848
31828
30805
29784
28765
27743
26722
25701
24681
23661
22640
21617
20598
19578
18555
17534
16515
15493
14472
13451
12428
11406
10360
9273
8126
786
675
565
453
340
229
119
09

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.0b

localize37.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))
2.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
3.0b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite100.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 insert-posit16
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 → 112
Calls
4 calls:
21.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
14.0ms
(/ (- x y) (- 1.0 y))
33.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
30.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series395.0ms

Counts
4 → 12
Calls
4 calls:
119.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
70.0ms
(/ (- x y) (- 1.0 y))
77.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
130.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify996.0ms

Counts
124 → 124
Iterations
IterNodes
done2006
21382
1502
0208

prune700.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite121.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--
4×insert-posit16
3×div-exp div-inv
2×cbrt-undiv clear-num frac-2neg div-sub rem-log-exp associate-/l/
1×log-div sub-neg diff-log log-pow associate--r-
Counts
4 → 148
Calls
4 calls:
15.0ms
(/ (- x y) (- 1.0 y))
20.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
63.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
19.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series590.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(/ (- x y) (- 1.0 y))
238.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
202.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
87.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify948.0ms

Counts
160 → 160
Iterations
IterNodes
done2000
21722
1656
0272

prune733.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

2.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
2.4b
(- 1.0 (/ (- x y) (- 1.0 y)))
2.8b
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
2.8b
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

rewrite139.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 insert-posit16 flip-- distribute-lft-out--
2×sub-neg sqrt-pow1 pow1/2 diff-log div-sub rem-log-exp associate--r-
Counts
4 → 80
Calls
4 calls:
34.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
33.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
33.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
38.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series509.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
74.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
184.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
165.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify900.0ms

Counts
92 → 92
Iterations
IterNodes
done2000
31600
2528
1231
0116

prune422.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
2.4b
(- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))
10.5b
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
12.1b
(log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y)))))

rewrite418.0ms

Algorithm
rewrite-expression-head
Rules
14×log-prod
12×*-un-lft-identity
10×add-sqr-sqrt pow1
8×log-div add-cube-cbrt
6×add-exp-log log-pow add-log-exp
4×flip3-- add-cbrt-cube associate--l+ insert-posit16 flip-- distribute-lft-out--
3×difference-cubes cube-unmult pow3 associate--r+
2×associate--l- sub-neg flip3-+ diff-log rem-log-exp flip-+ associate--r-
1×difference-of-squares
Counts
4 → 74
Calls
4 calls:
144.0ms
(- (log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
102.0ms
(- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))
57.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
113.0ms
(log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y)))))

series1.4s

Counts
4 → 12
Calls
4 calls:
491.0ms
(- (log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))) (log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y)))))))
176.0ms
(- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y))))
230.0ms
(log (+ (* 1.0 1.0) (+ (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (* 1.0 (/ (- x y) (- 1.0 y))))))
457.0ms
(log (- (* 1.0 (* 1.0 1.0)) (* (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))) (/ (- x y) (- 1.0 y)))))

simplify917.0ms

Counts
86 → 86
Iterations
IterNodes
done2003
21577
1482
0188

prune732.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes232.0ms

Accuracy

98.8% (0.2b remaining)

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

bsearch2.0ms

simplify4.0ms

Iterations
IterNodes
done22
122
020

end0.0ms

sample2.5s

Algorithm
intervals
Results
602.0ms5711×body80valid
341.0ms803×body640valid
333.0ms771×body1280valid
308.0ms3755×body80nan
202.0ms383×body1280nan
150.0ms356×body640nan
107.0ms454×body320valid
74.0ms113×body160nan
48.0ms214×body320nan
41.0ms261×body160valid