Details

Time bar (total: 18.0s)

analyze1.7s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
3.1%96.5%0.3%9
4.7%95%0.3%10
4.7%95%0.3%11
5.1%82.1%12.8%12
6.2%74.7%19%13
6.4%74.5%19%14

sample61.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
14.0ms157×body80nan

simplify29.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (27.0ms)

IterNodesCost
0554533

prune23.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.0b

Counts
2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 2.0 (* t 3.0))
0.3b
(/ (sqrt (+ t a)) t)
1.4b
(* z (/ (sqrt (+ t a)) t))
2.8b
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
51×*-un-lft-identity
47×times-frac
45×add-sqr-sqrt
37×add-cube-cbrt
29×sqrt-prod
25×associate-*r*
19×associate-*r/
16×add-exp-log add-cbrt-cube
14×frac-add
10×associate-/l*
8×frac-times flip3-- flip--
7×distribute-lft-out
6×pow1 frac-sub add-log-exp
5×flip3-+ flip-+
4×cbrt-undiv div-exp associate-/r*
3×associate-*l* prod-exp cbrt-unprod div-inv unswap-sqr
2×sub-neg associate-+r+ frac-2neg sqrt-div associate-*l/ clear-num associate-/l/
1×+-commutative distribute-rgt-in distribute-lft-in pow-prod-down sum-log *-commutative
Counts
4 → 138
Calls
4 calls:
4.0ms
(/ 2.0 (* t 3.0))
6.0ms
(/ (sqrt (+ t a)) t)
11.0ms
(* z (/ (sqrt (+ t a)) t))
13.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))

series80.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(/ 2.0 (* t 3.0))
11.0ms
(/ (sqrt (+ t a)) t)
16.0ms
(* z (/ (sqrt (+ t a)) t))
51.0ms
(+ (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (/ 2.0 (* t 3.0)) (+ a (/ 5.0 6.0)))))

simplify56.0ms

Algorithm
egg-herbie
Counts
150 → 150
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049912716
149912716

prune271.0ms

Filtered
106 candidates to 150 candidates (-41.5%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1482150
Fresh101
Picked011
Done000
Total1493152

Merged error: 0b

Counts
152 → 3

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b)))
0.0b
(/ x (+ x (* y (pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b))))))
0.0b
(* y (pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b))))
1.0b
(- (* c (+ a 0.8333333333333334)) (* a b))

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
18×add-cube-cbrt *-un-lft-identity
10×add-exp-log associate-*r*
9×times-frac
8×add-cbrt-cube
7×unpow-prod-down
6×unpow-prod-up associate--l+ add-log-exp
5×pow1
4×pow-pow
3×distribute-rgt-in sub-neg pow-unpow exp-prod distribute-lft-in associate-*l* prod-exp associate-/r* associate-/l* unswap-sqr sqr-pow
2×pow-to-exp pow-exp associate-/r/ pow-sub
1×cbrt-undiv flip3-- frac-2neg flip3-+ diff-log associate-*r/ div-exp clear-num *-commutative flip-- cbrt-unprod flip-+ div-inv
Counts
4 → 95
Calls
4 calls:
7.0ms
(pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b)))
4.0ms
(/ x (+ x (* y (pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b))))))
6.0ms
(* y (pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b))))
6.0ms
(- (* c (+ a 0.8333333333333334)) (* a b))

series99.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b)))
43.0ms
(/ x (+ x (* y (pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b))))))
32.0ms
(* y (pow (exp 2.0) (- (* c (+ a 0.8333333333333334)) (* a b))))
8.0ms
(- (* c (+ a 0.8333333333333334)) (* a b))

simplify72.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049821859
149821859

prune194.0ms

Filtered
84 candidates to 107 candidates (-27.4%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1070107
Fresh011
Picked011
Done011
Total1073110

Merged error: 0b

Counts
110 → 3

localize40.0ms

Local error

Found 4 expressions with local error:

3.1b
(* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))))))
6.4b
(* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0))))))
9.1b
(+ (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0)))))))))
28.0b
(/ (+ (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))))))) (* t (* t (* 3.0 (- a (/ 5.0 6.0))))))

rewrite217.0ms

Algorithm
rewrite-expression-head
Rules
1962×associate-*r/
498×flip3-- flip--
368×frac-times
320×frac-add
246×sqrt-div
204×frac-sub
162×associate-/l/
125×flip3-+ flip-+
116×associate-*l/
96×distribute-rgt-in distribute-lft-in
56×sub-neg
37×add-exp-log add-cbrt-cube
23×pow1
19×prod-exp cbrt-unprod
16×associate-+l+ associate--l+
13×pow-prod-down
12×associate-+r+
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l* add-log-exp
4×cbrt-undiv div-exp
3×times-frac associate-/l*
2×associate-*r* associate-/r/ *-commutative
1×+-commutative frac-2neg clear-num associate-/r* sum-log div-inv
Counts
4 → 486
Calls
4 calls:
21.0ms
(* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))))))
19.0ms
(* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0))))))
36.0ms
(+ (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0)))))))))
50.0ms
(/ (+ (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))))))) (* t (* t (* 3.0 (- a (/ 5.0 6.0))))))

series533.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))))))
22.0ms
(* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0))))))
197.0ms
(+ (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0)))))))))
265.0ms
(/ (+ (* z (* (sqrt (+ t a)) (* t (* 3.0 (- a (/ 5.0 6.0)))))) (* t (* (- b c) (- (* 2.0 (- a (/ 5.0 6.0))) (* t (* 3.0 (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))))))))) (* t (* t (* 3.0 (- a (/ 5.0 6.0))))))

simplify258.0ms

Algorithm
egg-herbie
Counts
498 → 498
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
0499843729
1499843729

prune11.5s

Filtered
447 candidates to 498 candidates (-11.4%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New4980498
Fresh000
Picked011
Done022
Total4983501

Merged error: 0b

Counts
501 → 3

regimes651.0ms

Accuracy

-7.6% (2.9b remaining)

Error of 3.6b against oracle of 0.7b and baseline of 3.4b

bsearch164.0ms

Steps
ItersRangePoint
8
7.723512652945406e-141
4.165754474513e-137
8.362446977804171e-141
10
-2007974206346244.2
-59561.09823249426
-60120.550694716185

simplify22.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
0915109
1915109

end0.0ms

sample1.9s

Algorithm
intervals
Results
833.0ms8000×body80valid
505.0ms4850×body80nan

Profiling

Loading profile data...