Details

Time bar (total: 5.3s)

sample95.0ms

Algorithm
intervals
Results
28.0ms256×body80valid
21.0ms228×body80nan

simplify36.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
0524733

prune33.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: 4.0b

Counts
2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-sub
16×add-exp-log add-cbrt-cube
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt
9×flip3-- flip--
8×frac-times associate-*r/
7×associate-*r*
6×pow1 times-frac associate--r+ add-log-exp
5×flip3-+ sqrt-prod flip-+
4×cbrt-undiv sqrt-div div-exp associate-/r* associate-/l*
3×distribute-rgt-in sub-neg distribute-lft-in associate-*l* prod-exp cbrt-unprod
2×frac-2neg associate-*l/ associate--l+ clear-num div-inv associate-/l/ unswap-sqr
1×diff-log pow-prod-down *-commutative distribute-lft-out
Counts
4 → 101
Calls
4 calls:
7.0ms
(* z (sqrt (+ t a)))
4.0ms
(/ 2.0 (* t 3.0))
13.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
7.0ms
(/ (* z (sqrt (+ t a))) t)

series81.0ms

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

simplify53.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049822324
149822324

prune218.0ms

Filtered
87 candidates to 113 candidates (-29.9%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1094113
Fresh101
Picked101
Done000
Total1114115

Merged error: 0.2b

Counts
115 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
0.2b
(* z (sqrt (+ t a)))
3.7b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
5.7b
(/ (* z (sqrt (+ t a))) t)

rewrite88.0ms

Algorithm
rewrite-expression-head
Rules
26×frac-sub
24×add-sqr-sqrt
20×*-un-lft-identity
17×flip3-- flip--
16×frac-times
14×associate-*r*
13×add-exp-log add-cbrt-cube
12×associate-*r/
11×add-cube-cbrt
8×pow1 flip3-+ associate-*l* flip-+
6×distribute-rgt-in distribute-lft-in associate--r+ add-log-exp
5×sub-neg sqrt-prod
4×times-frac sqrt-div associate-*l/ associate--l+
3×prod-exp associate-/r* cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
2×cbrt-undiv div-exp pow-prod-down *-commutative associate-/l/ distribute-lft-out
1×frac-2neg diff-log clear-num div-inv associate-/l*
Counts
4 → 124
Calls
4 calls:
34.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
12.0ms
(* z (sqrt (+ t a)))
22.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
12.0ms
(/ (* z (sqrt (+ t a))) t)

series105.0ms

Counts
4 → 12
Calls
4 calls:
13.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
12.0ms
(* z (sqrt (+ t a)))
52.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
28.0ms
(/ (* z (sqrt (+ t a))) t)

simplify58.0ms

Algorithm
egg-herbie
Counts
136 → 136
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
049623035
149623035

prune257.0ms

Filtered
105 candidates to 136 candidates (-29.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1342136
Fresh213
Picked101
Done000
Total1373140

Merged error: 0b

Counts
140 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b
(* z (sqrt (+ t a)))
0.9b
(+ (* 0.6666666666666666 (/ c t)) (- (* b 0.8333333333333334) (* 0.6666666666666666 (/ b t))))
3.4b
(- (/ (* z (sqrt (+ t a))) t) (+ (* 0.6666666666666666 (/ c t)) (- (* b 0.8333333333333334) (* 0.6666666666666666 (/ b t)))))
5.7b
(/ (* z (sqrt (+ t a))) t)

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
18×add-log-exp
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-exp-log add-cbrt-cube
9×add-cube-cbrt
8×associate-*r/
7×associate-*r*
6×pow1
5×diff-log sqrt-prod
4×flip3-+ sqrt-div frac-add sum-log frac-sub flip-+
3×flip3-- times-frac associate-*l* associate-/r* flip--
2×cbrt-undiv associate-+r- sub-neg associate-+r+ div-exp prod-exp cbrt-unprod associate-/l/ unswap-sqr
1×+-commutative frac-2neg pow-prod-down clear-num *-commutative div-inv distribute-lft-out associate-/l* associate--r+ distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 87
Calls
4 calls:
7.0ms
(* z (sqrt (+ t a)))
8.0ms
(+ (* 0.6666666666666666 (/ c t)) (- (* b 0.8333333333333334) (* 0.6666666666666666 (/ b t))))
16.0ms
(- (/ (* z (sqrt (+ t a))) t) (+ (* 0.6666666666666666 (/ c t)) (- (* b 0.8333333333333334) (* 0.6666666666666666 (/ b t)))))
7.0ms
(/ (* z (sqrt (+ t a))) t)

series82.0ms

Counts
4 → 12
Calls
4 calls:
12.0ms
(* z (sqrt (+ t a)))
10.0ms
(+ (* 0.6666666666666666 (/ c t)) (- (* b 0.8333333333333334) (* 0.6666666666666666 (/ b t))))
43.0ms
(- (/ (* z (sqrt (+ t a))) t) (+ (* 0.6666666666666666 (/ c t)) (- (* b 0.8333333333333334) (* 0.6666666666666666 (/ b t)))))
16.0ms
(/ (* z (sqrt (+ t a))) t)

simplify35.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 0 (22.0ms)

IterNodesCost
050351882

prune159.0ms

Filtered
75 candidates to 99 candidates (-32.0%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New99099
Fresh022
Picked011
Done000
Total993102

Merged error: 0b

Counts
102 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

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

series75.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ x (+ x (* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))))
26.0ms
(* y (exp (* 2.0 (- (* c (+ a 0.8333333333333334)) (* a b)))))
5.0ms
(* c (+ a 0.8333333333333334))
8.0ms
(- (* c (+ a 0.8333333333333334)) (* a b))

simplify49.0ms

Algorithm
egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
049831531
149831531

prune152.0ms

Filtered
78 candidates to 104 candidates (-33.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1040104
Fresh011
Picked011
Done011
Total1043107

Merged error: 0b

Counts
107 → 3

regimes730.0ms

Accuracy

35.7% (9.3b remaining)

Error of 10.2b against oracle of 0.9b and baseline of 15.4b

bsearch130.0ms

Steps
ItersRangePoint
7
1.1755288407051683e+139
2.3081365074426503e+140
1.1853839002074552e+139
10
-1.4047359304014101e-120
-1.207972210288875e-132
-2.4869800286651916e-125

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
07286
17286

end0.0ms

sample2.7s

Algorithm
intervals
Results
784.0ms8000×body80valid
762.0ms8033×body80nan

Profiling

Loading profile data...