Details

Time bar (total: 5.0s)

sample34.0ms

Algorithm
intervals
Results
7.0ms188×body80valid
4.0ms32×body640valid
3.0ms114×body80nan
3.0ms15×body1280valid
2.0ms18×body320valid
1.0ms9×body1280nan
1.0ms9×body640nan
1.0ms7×body320nan
0.0ms5×body160nan
0.0ms3×body160valid

simplify18.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

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.2b

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

rewrite81.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:
23.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
11.0ms
(/ (- x y) (- 1.0 y))
23.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
21.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

series258.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
36.0ms
(/ (- x y) (- 1.0 y))
52.0ms
(- 1.0 (/ (- x y) (- 1.0 y)))
83.0ms
(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify47.0ms

Algorithm
egg-herbie
Counts
120 → 120
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0488942
11388894
25001876

prune285.0ms

Filtered
120 candidates to 88 candidates (73.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
0.1b
(* (- x y) (/ 1 (- 1.0 y)))
4.1b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
4.2b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
28×*-un-lft-identity
21×associate-*r*
17×times-frac
16×add-cube-cbrt
14×add-exp-log
9×add-cbrt-cube
8×pow1
7×flip3-- flip-- add-log-exp
6×log-prod distribute-lft-out--
5×associate-*l* difference-of-squares
4×log-div prod-exp
3×associate--r+ unswap-sqr
2×frac-times sub-neg diff-log div-exp associate-*l/ associate-/r/ log-pow cbrt-unprod associate--r-
1×cbrt-undiv rec-exp 1-exp associate-*r/ rem-log-exp pow-prod-down un-div-inv *-commutative div-inv
Counts
4 → 96
Calls
4 calls:
4.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
24.0ms
(* (- x y) (/ 1 (- 1.0 y)))
2.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
2.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

series267.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(- 1.0 (log (- 1.0 (* (- x y) (/ 1 (- 1.0 y))))))
36.0ms
(* (- x y) (/ 1 (- 1.0 y)))
53.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
83.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

simplify57.0ms

Algorithm
egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0516863
12086789
25003762

prune242.0ms

Filtered
108 candidates to 80 candidates (74.1%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

4.1b
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
4.2b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
4.2b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
4.2b
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
9×log-prod
7×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×log-div add-log-exp
4×flip3-- add-cbrt-cube flip--
3×rem-log-exp log-pow
1×sub-neg diff-log
Counts
4 → 54
Calls
4 calls:
2.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
2.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
2.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
2.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

series298.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
82.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
83.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
83.0ms
(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

simplify78.0ms

Algorithm
egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
0180692
1553613
22820593
35001593

prune212.0ms

Filtered
66 candidates to 57 candidates (86.4%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (log (- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3))) (log (+ (* 1.0 1.0) (+ (* (* (- x y) (/ 1 (- 1.0 y))) (* (- x y) (/ 1 (- 1.0 y)))) (* 1.0 (* (- x y) (/ 1 (- 1.0 y))))))))
4.0b
(- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3))
12.3b
(log (- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3)))
12.4b
(log (+ (* 1.0 1.0) (+ (* (* (- x y) (/ 1 (- 1.0 y))) (* (- x y) (/ 1 (- 1.0 y)))) (* 1.0 (* (- x y) (/ 1 (- 1.0 y)))))))

rewrite323.0ms

Algorithm
rewrite-expression-head
Rules
40×add-sqr-sqrt
32×log-prod
25×difference-of-squares
18×*-un-lft-identity sqr-pow
13×associate--l+
10×pow1
8×add-cube-cbrt log-div
7×distribute-lft-out--
6×add-exp-log unpow-prod-down cube-prod log-pow add-log-exp
4×flip3-- add-cbrt-cube flip--
3×difference-cubes associate--r+
2×associate--l- sub-neg flip3-+ diff-log rem-log-exp flip-+ associate--r-
Counts
4 → 97
Calls
4 calls:
152.0ms
(- (log (- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3))) (log (+ (* 1.0 1.0) (+ (* (* (- x y) (/ 1 (- 1.0 y))) (* (- x y) (/ 1 (- 1.0 y)))) (* 1.0 (* (- x y) (/ 1 (- 1.0 y))))))))
15.0ms
(- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3))
10.0ms
(log (- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3)))
142.0ms
(log (+ (* 1.0 1.0) (+ (* (* (- x y) (/ 1 (- 1.0 y))) (* (- x y) (/ 1 (- 1.0 y)))) (* 1.0 (* (- x y) (/ 1 (- 1.0 y)))))))

series1.0s

Counts
4 → 12
Calls
4 calls:
362.0ms
(- (log (- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3))) (log (+ (* 1.0 1.0) (+ (* (* (- x y) (/ 1 (- 1.0 y))) (* (- x y) (/ 1 (- 1.0 y)))) (* 1.0 (* (- x y) (/ 1 (- 1.0 y))))))))
177.0ms
(- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3))
321.0ms
(log (- (pow 1.0 3) (pow (* (- x y) (/ 1 (- 1.0 y))) 3)))
162.0ms
(log (+ (* 1.0 1.0) (+ (* (* (- x y) (/ 1 (- 1.0 y))) (* (- x y) (/ 1 (- 1.0 y)))) (* 1.0 (* (- x y) (/ 1 (- 1.0 y)))))))

simplify70.0ms

Algorithm
egg-herbie
Counts
109 → 109
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
05272468
116672344
250012265

prune418.0ms

Filtered
109 candidates to 87 candidates (79.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes65.0ms

Accuracy

99.3% (0.1b remaining)

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

bsearch124.0ms

Steps
ItersRangePoint
11
489495.903442394
5.796616976600271e+32
64228178.481418625
8
-9.97705446713931e+17
-547131219381705.75
-553061403731488.56

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03516
13516

end0.0ms

sample1.0s

Algorithm
intervals
Results
226.0ms5737×body80valid
157.0ms760×body1280valid
111.0ms783×body640valid
107.0ms3752×body80nan
56.0ms357×body1280nan
47.0ms474×body320valid
43.0ms369×body640nan
21.0ms241×body320nan
16.0ms246×body160valid
7.0ms129×body160nan