Details

Time bar (total: 15.8s)

sample74.0ms

Algorithm
intervals
Results
17.0ms186×body80valid
14.0ms29×body1280valid
8.0ms109×body80nan
5.0ms12×body1280nan
5.0ms14×body640valid
5.0ms20×body320valid
2.0ms6×body640nan
2.0ms7×body320nan
1.0ms7×body160nan
1.0ms7×body160valid

simplify2.0s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.0b

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

rewrite102.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×add-cbrt-cube fma-neg associate--r+
5×associate-/r* log-pow associate-/l*
4×expm1-log1p-u log-div insert-posit16 log1p-expm1-u div-inv
3×associate--r-
2×sub-neg diff-log div-sub associate-/l/
1×cbrt-undiv clear-num frac-2neg div-exp rem-log-exp
Counts
4 → 231
Calls
4 calls:
23.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
19.0ms
(/ (- x y) (- 1.0 y))
29.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
26.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series320.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
41.0ms
(/ (- x y) (- 1.0 y))
55.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
117.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify837.0ms

Counts
243 → 243
Iterations
IterNodes
done2002
11028
0393

prune960.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

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

rewrite138.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 insert-posit16 log1p-expm1-u
3×fma-neg div-exp
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 → 252
Calls
4 calls:
19.0ms
(/ (- x y) (- 1.0 y))
19.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
58.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
36.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series444.0ms

Counts
4 → 12
Calls
4 calls:
45.0ms
(/ (- x y) (- 1.0 y))
187.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
153.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
59.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify844.0ms

Counts
264 → 264
Iterations
IterNodes
done2001
11126
0437

prune1.1s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
278×add-sqr-sqrt
266×*-un-lft-identity
186×prod-diff
154×times-frac
138×add-cube-cbrt
68×difference-of-squares
64×distribute-lft-out--
18×log-prod
12×associate-/r/ sqrt-prod
10×flip3-- flip--
8×pow1 add-log-exp
6×fma-neg add-exp-log log-pow div-inv
4×expm1-log1p-u log-div add-cbrt-cube sqrt-div insert-posit16 log1p-expm1-u
2×sub-neg sqrt-pow1 pow1/2 diff-log div-sub rem-log-exp associate--r-
Counts
4 → 280
Calls
4 calls:
24.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
22.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
18.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
24.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series518.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
73.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
210.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
160.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify748.0ms

Counts
292 → 292
Iterations
IterNodes
done2000
1794
0325

prune1.5s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize72.0ms

Local error

Found 4 expressions with local error:

0.2b
(+ (- 1.0 (log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))) (log (fma (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0) (* 1.0 1.0))))
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 (fma (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0) (* 1.0 1.0)))
12.1b
(log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))

rewrite239.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
17×add-sqr-sqrt
16×associate-+l+
15×pow1 add-cube-cbrt
13×prod-diff
11×log-pow
10×log-prod
8×add-log-exp
6×fma-def add-exp-log distribute-lft-out distribute-lft-out--
4×expm1-log1p-u log-div add-cbrt-cube insert-posit16 log1p-expm1-u
3×associate-+r+ flip3-- flip--
2×difference-cubes sum-log sub-neg diff-log cube-unmult rem-log-exp pow3 associate--r-
1×+-commutative flip3-+ fma-neg associate-+l- flip-+ difference-of-squares
Counts
4 → 98
Calls
4 calls:
39.0ms
(+ (- 1.0 (log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))) (log (fma (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0) (* 1.0 1.0))))
88.0ms
(- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
2.0ms
(log (fma (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0) (* 1.0 1.0)))
109.0ms
(log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
371.0ms
(+ (- 1.0 (log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))) (log (fma (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0) (* 1.0 1.0))))
207.0ms
(- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y)))))
193.0ms
(log (fma (/ (- x y) (- 1.0 y)) (+ (/ (- x y) (- 1.0 y)) 1.0) (* 1.0 1.0)))
411.0ms
(log (- (* (* 1.0 1.0) 1.0) (* (/ (- x y) (- 1.0 y)) (* (/ (- x y) (- 1.0 y)) (/ (- x y) (- 1.0 y))))))

simplify1.1s

Counts
110 → 110
Iterations
IterNodes
done2000
21816
1523
0202

prune604.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes228.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
done21
021

end0.0ms

sample2.7s

Algorithm
intervals
Results
909.0ms5711×body80valid
345.0ms771×body1280valid
299.0ms3755×body80nan
251.0ms803×body640valid
169.0ms383×body1280nan
137.0ms454×body320valid
101.0ms356×body640nan
98.0ms261×body160valid
89.0ms214×body320nan
15.0ms113×body160nan