Details

Time bar (total: 3.7s)

sample46.0ms

Algorithm
intervals
Results
8.0ms180×body80valid
7.0ms28×body1280valid
3.0ms20×body640valid
3.0ms19×body1280nan
3.0ms89×body80nan
2.0ms19×body320valid
2.0ms16×body640nan
1.0ms13×body320nan
1.0ms9×body160valid
0.0ms6×body160nan

simplify4.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
010512
110512

prune9.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 19.0b

Counts
2 → 1

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

rewrite50.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:
14.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
7.0ms
(/ (- x y) (- 1.0 y))
12.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
12.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series43.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
6.0ms
(/ (- x y) (- 1.0 y))
9.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify69.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
051371679

prune276.0ms

Filtered
93 candidates to 120 candidates (-29.0%)
Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1137120
Fresh000
Picked101
Done000
Total1147121

Merged error: 0.1b

Counts
121 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (- x y))
0.5b
(cbrt (- x y))
3.5b
(log (- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y))))))
12.6b
(- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y)))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
15×*-un-lft-identity
12×cbrt-prod
10×times-frac difference-of-squares
8×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
1×sub-neg diff-log rem-log-exp log-pow
Counts
4 → 66
Calls
4 calls:
3.0ms
(cbrt (- x y))
3.0ms
(cbrt (- x y))
19.0ms
(log (- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y))))))
21.0ms
(- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y)))))

series75.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(cbrt (- x y))
28.0ms
(cbrt (- x y))
12.0ms
(log (- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y))))))
9.0ms
(- 1.0 (/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (- 1.0 y) (cbrt (- x y)))))

simplify31.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (23.0ms)

IterNodesCost
052961040

prune129.0ms

Filtered
65 candidates to 78 candidates (-20.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New78078
Fresh066
Picked011
Done000
Total78785

Merged error: 0.1b

Counts
85 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

2.4b
(+ 1.0 (/ (- y x) (- 1.0 y)))
2.4b
(+ 1.0 (/ (- y x) (- 1.0 y)))
3.5b
(log (+ 1.0 (/ (- y x) (- 1.0 y))))
3.5b
(log (+ 1.0 (/ (- y x) (- 1.0 y))))

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
14×*-un-lft-identity
8×log-prod add-log-exp
6×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt
4×log-div flip3-+ add-cbrt-cube flip-+ distribute-lft-out
2×+-commutative associate-+r- div-sub rem-log-exp sum-log log-pow
Counts
4 → 56
Calls
4 calls:
11.0ms
(+ 1.0 (/ (- y x) (- 1.0 y)))
12.0ms
(+ 1.0 (/ (- y x) (- 1.0 y)))
11.0ms
(log (+ 1.0 (/ (- y x) (- 1.0 y))))
11.0ms
(log (+ 1.0 (/ (- y x) (- 1.0 y))))

series37.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(+ 1.0 (/ (- y x) (- 1.0 y)))
7.0ms
(+ 1.0 (/ (- y x) (- 1.0 y)))
12.0ms
(log (+ 1.0 (/ (- y x) (- 1.0 y))))
10.0ms
(log (+ 1.0 (/ (- y x) (- 1.0 y))))

simplify36.0ms

Algorithm
egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
05213950

prune180.0ms

Filtered
54 candidates to 68 candidates (-25.9%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New67168
Fresh055
Picked011
Done011
Total67875

Merged error: 0.1b

Counts
75 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
3.5b
(log (/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y)))))
4.6b
(+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y))))
7.8b
(/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y))))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
307×times-frac
287×*-un-lft-identity
282×add-sqr-sqrt
161×associate-*r*
109×add-cube-cbrt
82×distribute-lft-out-- difference-of-squares
18×add-exp-log log-prod
16×associate-/r/
15×add-cbrt-cube
8×flip3-- flip-- div-inv
7×pow1 distribute-lft-out
6×add-log-exp
5×div-exp associate-*l*
4×cbrt-undiv flip3-+ associate-/r* flip-+
3×prod-exp cbrt-unprod associate-/l* unswap-sqr
2×frac-times rem-log-exp associate-*l/ associate-/l/
1×+-commutative log-div frac-2neg associate-*r/ pow-prod-down clear-num sum-log log-pow *-commutative
Counts
4 → 264
Calls
4 calls:
46.0ms
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
14.0ms
(log (/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y)))))
6.0ms
(+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y))))
18.0ms
(/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y))))

series113.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
43.0ms
(log (/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y)))))
26.0ms
(+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y))))
32.0ms
(/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y))))

simplify82.0ms

Algorithm
egg-herbie
Counts
276 → 276
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
055636191

prune524.0ms

Filtered
178 candidates to 276 candidates (-55.1%)
Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New2742276
Fresh145
Picked101
Done022
Total2768284

Merged error: 0.0b

Counts
284 → 8

regimes151.0ms

Accuracy

99.4% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 17.3b

bsearch82.0ms

Steps
ItersRangePoint
10
1130.7758405393088
984212124644506.5
82478231.80015452
8
-5.148994757627772e+16
-57441177770159.1
-58114392018299.96

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03248
13248

end0.0ms

sample1.5s

Algorithm
intervals
Results
282.0ms5707×body80valid
204.0ms842×body1280valid
143.0ms761×body1280nan
138.0ms767×body640valid
111.0ms760×body640nan
99.0ms2692×body80nan
57.0ms445×body320valid
45.0ms421×body320nan
21.0ms239×body160valid
18.0ms246×body160nan

Profiling

Loading profile data...