Details

Time bar (total: 28.9s)

sample45.0ms

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

simplify1.0s

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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.1b

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

rewrite182.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 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 → 227
Calls
4 calls:
46.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
19.0ms
(/ (- x y) (- 1.0 y))
51.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
54.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series385.0ms

Counts
4 → 12
Calls
4 calls:
136.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
48.0ms
(/ (- x y) (- 1.0 y))
79.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
122.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify1.7s

Counts
239 → 239
Iterations
IterNodes
done5000
24243
11025
0389

prune753.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

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

rewrite188.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 log1p-expm1-u
2×sub-neg sqrt-pow1 pow1/2 diff-log div-sub rem-log-exp associate--r-
Counts
4 → 276
Calls
4 calls:
57.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
45.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
30.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
28.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

series531.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
81.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
185.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
209.0ms
(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))

simplify1.7s

Counts
288 → 288
Iterations
IterNodes
done5000
22784
1792
0323

prune870.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

4.6b
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
4.6b
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
12.4b
(+ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (fma y (+ 1.0 y) (* 1.0 1.0)))
20.1b
(fma (- (fma y (+ 1.0 y) (* 1.0 1.0))) (/ (- x y) (- (pow 1.0 3) (pow y 3))) (pow (cbrt 1.0) 3))

rewrite444.0ms

Algorithm
rewrite-expression-head
Rules
467×add-sqr-sqrt
303×*-un-lft-identity
250×times-frac
244×difference-of-squares
144×unpow-prod-down cube-prod
112×distribute-lft-out--
96×sqr-pow
75×add-cube-cbrt
50×associate-/r*
12×difference-cubes
10×fma-def associate-/l*
8×add-cbrt-cube add-exp-log add-log-exp
7×distribute-lft-neg-in
6×distribute-rgt-neg-in
4×expm1-log1p-u pow1 distribute-rgt-out flip3-- associate-/r/ log1p-expm1-u flip-- distribute-lft-out associate-/l/
3×neg-mul-1 fma-udef
2×cbrt-undiv clear-num sum-log frac-2neg distribute-lft1-in div-sub div-exp div-inv
1×neg-sub0 +-commutative associate-+l+ associate-+r+ distribute-neg-in flip3-+ neg-log associate-+l- flip-+
Counts
4 → 395
Calls
4 calls:
356.0ms
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
47.0ms
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
11.0ms
(+ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (fma y (+ 1.0 y) (* 1.0 1.0)))
0.0ms
(fma (- (fma y (+ 1.0 y) (* 1.0 1.0))) (/ (- x y) (- (pow 1.0 3) (pow y 3))) (pow (cbrt 1.0) 3))

series273.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
87.0ms
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
9.0ms
(+ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (fma y (+ 1.0 y) (* 1.0 1.0)))
101.0ms
(fma (- (fma y (+ 1.0 y) (* 1.0 1.0))) (/ (- x y) (- (pow 1.0 3) (pow y 3))) (pow (cbrt 1.0) 3))

simplify1.4s

Counts
407 → 407
Iterations
IterNodes
done5001
22475
1698
0289

prune2.7s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize89.0ms

Local error

Found 4 expressions with local error:

4.5b
(/ (- (pow 1.0 3) (pow y 3)) (- x y))
4.6b
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
12.4b
(+ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (fma y (+ 1.0 y) (* 1.0 1.0)))
12.6b
(/ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow y 3)) (- x y)))

rewrite559.0ms

Algorithm
rewrite-expression-head
Rules
3074×add-sqr-sqrt
2935×times-frac
2140×*-un-lft-identity
1399×difference-of-squares
812×add-cube-cbrt
804×unpow-prod-down cube-prod
662×distribute-lft-out--
536×sqr-pow
403×distribute-lft-neg-in
402×distribute-rgt-neg-in
161×associate-/r*
135×neg-mul-1
67×difference-cubes
40×associate-/l*
27×associate-/r/
15×flip3-- flip--
14×div-inv
13×add-cbrt-cube add-exp-log
10×fma-def
8×add-log-exp
5×cbrt-undiv div-exp
4×expm1-log1p-u pow1 distribute-rgt-out log1p-expm1-u distribute-lft-out associate-/l/
3×clear-num frac-2neg div-sub
2×neg-sub0 sum-log distribute-lft1-in fma-udef
1×+-commutative associate-+l+ associate-+r+ distribute-neg-in flip3-+ neg-log distribute-frac-neg associate-+l- flip-+
Counts
4 → 1855
Calls
4 calls:
101.0ms
(/ (- (pow 1.0 3) (pow y 3)) (- x y))
52.0ms
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
15.0ms
(+ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (fma y (+ 1.0 y) (* 1.0 1.0)))
118.0ms
(/ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow y 3)) (- x y)))

series265.0ms

Counts
4 → 12
Calls
4 calls:
73.0ms
(/ (- (pow 1.0 3) (pow y 3)) (- x y))
88.0ms
(/ (- x y) (- (pow 1.0 3) (pow y 3)))
3.0ms
(+ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (fma y (+ 1.0 y) (* 1.0 1.0)))
101.0ms
(/ (- (fma y (+ 1.0 y) (* 1.0 1.0))) (/ (- (pow 1.0 3) (pow y 3)) (- x y)))

simplify2.0s

Counts
1867 → 1867
Iterations
IterNodes
done5000
14965
01501

prune10.9s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

regimes168.0ms

Accuracy

99.8% (0.0b remaining)

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

bsearch164.0ms

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

simplify6.0ms

Iterations
IterNodes
done53
153
042

end0.0ms

sample2.5s

Algorithm
intervals
Results
618.0ms826×body640valid
588.0ms5674×body80valid
300.0ms786×body1280valid
267.0ms3770×body80nan
103.0ms461×body320valid
100.0ms345×body1280nan
87.0ms412×body640nan
30.0ms192×body320nan
30.0ms253×body160valid
12.0ms120×body160nan