Details

Time bar (total: 4.2s)

sample47.0ms

Algorithm
intervals
Results
8.0ms177×body80valid
7.0ms28×body1280valid
5.0ms29×body640valid
4.0ms21×body1280nan
3.0ms23×body640nan
3.0ms83×body80nan
2.0ms14×body320valid
1.0ms9×body320nan
1.0ms8×body160valid
0.0ms5×body160nan

simplify130.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (128.0ms)

IterNodesCost
0503912

prune6.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.4b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
2.3b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.3b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
44×*-un-lft-identity
27×times-frac
16×add-cube-cbrt difference-of-squares
14×distribute-lft-out--
6×add-exp-log log-prod
5×associate-/r* add-cbrt-cube associate-/l* add-log-exp
4×pow1 flip3-- flip--
2×log-div div-sub associate-/r/ associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp rem-log-exp clear-num log-pow div-inv associate--r-
Counts
3 → 85
Calls
3 calls:
8.0ms
(/ (- x y) (- 1.0 y))
17.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series29.0ms

Counts
3 → 9
Calls
3 calls:
6.0ms
(/ (- x y) (- 1.0 y))
9.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify61.0ms

Algorithm
egg-herbie
Counts
94 → 94
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
058171260

prune180.0ms

Filtered
71 candidates to 94 candidates (-32.4%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New90494
Fresh000
Picked101
Done000
Total91495

Merged error: 0.1b

Counts
95 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 y))
0.3b
(cbrt (- 1.0 y))
4.3b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
13.5b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
15×*-un-lft-identity
14×cbrt-prod
12×times-frac difference-of-squares
9×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 div-sub
1×sub-neg diff-log rem-log-exp log-pow associate--r-
Counts
4 → 69
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
3.0ms
(cbrt (- 1.0 y))
46.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
43.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

series36.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(cbrt (- 1.0 y))
6.0ms
(cbrt (- 1.0 y))
13.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
10.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify60.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
060601219

prune197.0ms

Filtered
67 candidates to 81 candidates (-20.9%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New81081
Fresh033
Picked011
Done000
Total81485

Merged error: 0.1b

Counts
85 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
3.7b
(+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y))))
4.3b
(log (/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y)))))
6.6b
(/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y))))

rewrite122.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:
56.0ms
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
6.0ms
(+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y))))
18.0ms
(log (/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y)))))
20.0ms
(/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y))))

series124.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))
28.0ms
(+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y))))
42.0ms
(log (/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y)))))
39.0ms
(/ (+ (* 1.0 1.0) (* (- x y) (/ (/ (- y x) (- 1.0 y)) (- 1.0 y)))) (+ 1.0 (/ (- x y) (- 1.0 y))))

simplify94.0ms

Algorithm
egg-herbie
Counts
276 → 276
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
050056206

prune599.0ms

Filtered
179 candidates to 276 candidates (-54.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2760276
Fresh022
Picked011
Done011
Total2764280

Merged error: 0.1b

Counts
280 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (log (+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (* (- x y) (/ (+ 1.0 (/ (- x y) (- 1.0 y))) (- 1.0 y))))))
2.3b
(+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))
11.2b
(log (+ (* 1.0 1.0) (* (- x y) (/ (+ 1.0 (/ (- x y) (- 1.0 y))) (- 1.0 y)))))
13.0b
(log (+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3)))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity
24×log-prod
15×distribute-lft-out
12×unpow-prod-down cube-prod
10×pow1 add-sqr-sqrt
9×associate--l+
8×add-cube-cbrt log-div
6×add-exp-log log-pow add-log-exp
5×flip3-+ flip-+
4×add-cbrt-cube distribute-lft-out--
3×sum-cubes associate--r+
2×associate--l- rem-log-exp associate--r-
1×+-commutative sub-neg flip3-- diff-log sum-log flip-- difference-of-squares
Counts
4 → 84
Calls
4 calls:
55.0ms
(- (log (+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (* (- x y) (/ (+ 1.0 (/ (- x y) (- 1.0 y))) (- 1.0 y))))))
49.0ms
(+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))
4.0ms
(log (+ (* 1.0 1.0) (* (- x y) (/ (+ 1.0 (/ (- x y) (- 1.0 y))) (- 1.0 y)))))
47.0ms
(log (+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3)))

series214.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(- (log (+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))) (log (+ (* 1.0 1.0) (* (- x y) (/ (+ 1.0 (/ (- x y) (- 1.0 y))) (- 1.0 y))))))
42.0ms
(+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3))
39.0ms
(log (+ (* 1.0 1.0) (* (- x y) (/ (+ 1.0 (/ (- x y) (- 1.0 y))) (- 1.0 y)))))
50.0ms
(log (+ (pow 1.0 3) (pow (/ (- y x) (- 1.0 y)) 3)))

simplify63.0ms

Algorithm
egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049832812
149832812

prune272.0ms

Filtered
69 candidates to 96 candidates (-39.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New96096
Fresh011
Picked011
Done022
Total964100

Merged error: 0.1b

Counts
100 → 4

regimes114.0ms

Accuracy

99.7% (0.0b remaining)

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

bsearch77.0ms

Steps
ItersRangePoint
8
5.269198633476243e+39
3.104366221985596e+42
5.3179974583958844e+39
8
-5867877168.068798
-7512480.064511676
-68884137.86688928

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
014048
114048

end0.0ms

sample1.4s

Algorithm
intervals
Results
262.0ms5650×body80valid
210.0ms843×body1280valid
139.0ms770×body1280nan
135.0ms780×body640valid
112.0ms778×body640nan
91.0ms2678×body80nan
57.0ms465×body320valid
47.0ms442×body320nan
21.0ms262×body160valid
17.0ms211×body160nan

Profiling

Loading profile data...