Details

Time bar (total: 4.2s)

analyze533.0ms

Algorithm
search

sample42.0ms

Algorithm
intervals
Results
8.0ms175×body80valid
7.0ms29×body1280valid
5.0ms31×body640valid
3.0ms24×body640nan
3.0ms19×body1280nan
2.0ms16×body320valid
2.0ms18×body320nan
1.0ms9×body160nan
0.0ms13×body80nan
0.0ms5×body160valid

simplify19.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0196
1296
2416
3606
4786
5946
61096
71396
82146
92796
102796

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 20.4b

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

rewrite52.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:
15.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)))
13.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

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

simplify46.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0495950
11433898
25002876

prune218.0ms

Filtered
88 candidates to 120 candidates (-36.4%)
Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1155120
Fresh000
Picked101
Done000
Total1165121

Merged error: 0.2b

Counts
121 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.3b
(cbrt (- 1.0 y))
0.3b
(cbrt (- 1.0 y))
4.0b
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
14.2b
(- 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 → 69
Calls
4 calls:
3.0ms
(cbrt (- 1.0 y))
5.0ms
(cbrt (- 1.0 y))
38.0ms
(log (- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y)))))
41.0ms
(- 1.0 (/ (/ (- x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (cbrt (- 1.0 y))))

series34.0ms

Counts
4 → 12
Calls
4 calls:
6.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))))

simplify98.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 3 (86.0ms)

IterNodesCost
03841160
110131037
240181010
350011006

prune228.0ms

Filtered
68 candidates to 81 candidates (-19.1%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New81081
Fresh044
Picked011
Done000
Total81586

Merged error: 0.2b

Counts
86 → 5

localize11.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))))
1.6b
(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
101×add-sqr-sqrt
77×*-un-lft-identity
69×times-frac
37×add-cube-cbrt
28×difference-of-squares
24×log-prod
20×distribute-lft-out--
11×associate-/r*
9×add-exp-log
8×add-cbrt-cube associate-/l*
6×associate-/r/ add-log-exp
5×pow1 flip3-- flip--
3×div-exp div-inv
2×cbrt-undiv frac-2neg div-sub rem-log-exp clear-num associate-/l/
1×sub-neg log-div diff-log log-pow associate--r-
Counts
4 → 144
Calls
4 calls:
7.0ms
(/ (- x y) (- 1.0 y))
15.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
18.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

series54.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ (- x y) (- 1.0 y))
19.0ms
(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
16.0ms
(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
10.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))

simplify59.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 2 (41.0ms)

IterNodesCost
06211546
119741467
250011448

prune286.0ms

Filtered
118 candidates to 156 candidates (-32.2%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1542156
Fresh123
Picked101
Done011
Total1565161

Merged error: 0.0b

Counts
161 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ y (- 1.0 y))
0.0b
(log (/ (exp 1.0) (+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y)))))
0.1b
(/ (exp 1.0) (+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y))))
1.7b
(+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y)))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
81×*-un-lft-identity
45×times-frac
41×add-sqr-sqrt
33×add-cube-cbrt
23×log-prod
16×distribute-lft-out
12×distribute-lft-out--
10×associate-/r* associate-/r/
9×add-exp-log add-log-exp
8×add-cbrt-cube
6×frac-add associate-/l*
5×pow1
4×flip3-- flip-- difference-of-squares
3×flip3-+ div-exp flip-+ div-inv
2×cbrt-undiv associate-+l+ frac-2neg rem-log-exp clear-num sum-log
1×+-commutative associate-+l- sub-neg log-div diff-log log-pow
Counts
4 → 129
Calls
4 calls:
6.0ms
(/ y (- 1.0 y))
25.0ms
(log (/ (exp 1.0) (+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y)))))
21.0ms
(/ (exp 1.0) (+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y))))
20.0ms
(+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y)))

series48.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(/ y (- 1.0 y))
19.0ms
(log (/ (exp 1.0) (+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y)))))
16.0ms
(/ (exp 1.0) (+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y))))
9.0ms
(+ (- 1.0 (/ x (- 1.0 y))) (/ y (- 1.0 y)))

simplify58.0ms

Algorithm
egg-herbie
Counts
141 → 141
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
05681569
119751473
250011446

prune243.0ms

Filtered
100 candidates to 141 candidates (-41.0%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1401141
Fresh213
Picked011
Done011
Total1424146

Merged error: 0b

Counts
146 → 4

regimes112.0ms

Accuracy

99.4% (0.1b remaining)

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

bsearch85.0ms

Steps
ItersRangePoint
9
0.1278517739718698
14691671.27107997
14472710.829713326
8
-191215635.9966145
-213552.1041151831
-183512224.50413796

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03618
13618

end0.0ms

analyze529.0ms

Algorithm
search

sample1.2s

Algorithm
intervals
Results
268.0ms5673×body80valid
196.0ms821×body1280valid
134.0ms784×body640valid
130.0ms712×body1280nan
101.0ms737×body640nan
60.0ms486×body320valid
50.0ms447×body320nan
19.0ms236×body160valid
15.0ms222×body160nan
12.0ms342×body80nan

Profiling

Loading profile data...