Details

Time bar (total: 3.1s)

analyze536.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
6.2%93.7%0.1%5
6.2%90.5%3.2%6
21.9%67.1%11%7
23.4%64.8%11.8%8
32%52.7%15.3%9
33.2%51.3%15.5%10
37.7%45.2%17.2%11
38.3%44.4%17.2%12
40.6%41.3%18%13
41%41%18%14

sample42.0ms

Algorithm
intervals
Results
8.0ms171×body80valid
6.0ms25×body1280valid
6.0ms32×body640valid
3.0ms18×body1280nan
3.0ms21×body640nan
2.0ms15×body320valid
2.0ms16×body320nan
1.0ms13×body160valid
0.0ms7×body160nan
0.0ms10×body80nan

simplify116.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (114.0ms)

IterNodesCost
0503912

prune8.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: 20.8b

Counts
2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- x y) (- 1.0 y))
3.0b
(- 1.0 (/ (- x y) (- 1.0 y)))
4.6b
(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite35.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 → 84
Calls
3 calls:
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))))

series28.0ms

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

simplify52.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
058171253

prune171.0ms

Filtered
71 candidates to 93 candidates (-31.0%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New90393
Fresh000
Picked101
Done000
Total91394

Merged error: 0.1b

Counts
94 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 y))
0.3b
(cbrt (- 1.0 y))
4.6b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
14.7b
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

rewrite89.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 → 68
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
3.0ms
(cbrt (- 1.0 y))
39.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
42.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:
6.0ms
(cbrt (- 1.0 y))
6.0ms
(cbrt (- 1.0 y))
12.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
12.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

simplify49.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
060601211

prune168.0ms

Filtered
66 candidates to 80 candidates (-21.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New80080
Fresh022
Picked011
Done000
Total80383

Merged error: 0.1b

Counts
83 → 3

localize6.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune3.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done011
Total033

Merged error: 0.1b

Counts
3 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ x y) -1)
0.1b
(* (/ 1.0 y) (+ (/ x y) -1))
2.3b
(+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))
2.4b
(log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
17×*-un-lft-identity
13×add-cube-cbrt associate-*l*
12×times-frac
10×add-exp-log frac-add
9×flip3-+ add-cbrt-cube flip-+
8×add-log-exp
7×pow1 log-div
6×frac-times associate-*r/ associate-*r*
4×difference-of-sqr--1
3×log-prod associate-*l/
2×+-commutative distribute-rgt-in associate-+r+ distribute-lft-in prod-exp sum-log cbrt-unprod distribute-lft-out unswap-sqr
1×cbrt-undiv div-exp rem-log-exp pow-prod-down log-pow *-commutative div-inv
Counts
4 → 92
Calls
4 calls:
6.0ms
(+ (/ x y) -1)
13.0ms
(* (/ 1.0 y) (+ (/ x y) -1))
8.0ms
(+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))
6.0ms
(log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1))))

series27.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(+ (/ x y) -1)
5.0ms
(* (/ 1.0 y) (+ (/ x y) -1))
7.0ms
(+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1)))
12.0ms
(log (+ (/ x y) (* (/ 1.0 y) (+ (/ x y) -1))))

simplify62.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
049781539
149781539

prune145.0ms

Filtered
83 candidates to 104 candidates (-25.3%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New1022104
Fresh000
Picked011
Done022
Total1025107

Merged error: 0.1b

Counts
107 → 5

regimes117.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch105.0ms

Steps
ItersRangePoint
10
0.3280880502658628
292526113663.44824
55739289.00260231
8
-2233348975.811554
-105255.70367015422
-44196708.016604125

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
014048
114048

end0.0ms

sample1.2s

Algorithm
intervals
Results
269.0ms5682×body80valid
195.0ms803×body1280valid
141.0ms796×body640valid
124.0ms694×body1280nan
108.0ms769×body640nan
64.0ms467×body320valid
45.0ms435×body320nan
23.0ms252×body160valid
17.0ms253×body160nan
12.0ms348×body80nan

Profiling

Loading profile data...