Details

Time bar (total: 3.6s)

analyze514.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
0%99.9%0.1%5
18.7%81.1%0.1%6
26.5%67.1%6.4%7
35.1%58.5%6.4%8
41.3%49.9%8.7%9
46.4%40.2%13.4%10
50.8%34.2%15%11
55.2%26.7%18.1%12
57.4%22%20.6%13
59.8%17.9%22.3%14

sample38.0ms

Algorithm
intervals
Results
23.0ms256×body80valid
2.0ms19×body80nan
1.0ms15×body80invalid

simplify272.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (270.0ms)

IterNodesCost
0289037
1289037

prune14.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: 18.2b

Counts
2 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (* b b) (* (* 4.0 a) c))
0.8b
(- (* b b) (* (* 4.0 a) c))
21.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))
21.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
4×add-exp-log flip3-- sqrt-div add-cbrt-cube flip--
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 diff-log
Counts
4 → 52
Calls
4 calls:
4.0ms
(- (* b b) (* (* 4.0 a) c))
4.0ms
(- (* b b) (* (* 4.0 a) c))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series48.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- (* b b) (* (* 4.0 a) c))
9.0ms
(- (* b b) (* (* 4.0 a) c))
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify41.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
05050824

prune192.0ms

Filtered
54 candidates to 64 candidates (-18.5%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New57764
Fresh011
Picked101
Done000
Total58866

Merged error: 6.3b

Counts
66 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (* b b) (* 4.0 (* a c)))
0.8b
(- (* b b) (* 4.0 (* a c)))
21.4b
(sqrt (- (* b b) (* 4.0 (* a c))))
21.4b
(sqrt (- (* b b) (* 4.0 (* a c))))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt add-log-exp
6×pow1 add-cube-cbrt *-un-lft-identity sqrt-prod
4×add-exp-log flip3-- sqrt-div add-cbrt-cube flip--
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 diff-log
Counts
4 → 52
Calls
4 calls:
4.0ms
(- (* b b) (* 4.0 (* a c)))
4.0ms
(- (* b b) (* 4.0 (* a c)))
6.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
4.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

series48.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- (* b b) (* 4.0 (* a c)))
9.0ms
(- (* b b) (* 4.0 (* a c)))
15.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))
15.0ms
(sqrt (- (* b b) (* 4.0 (* a c))))

simplify39.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05020824

prune168.0ms

Filtered
50 candidates to 64 candidates (-28.0%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New63164
Fresh167
Picked011
Done000
Total64872

Merged error: 6.3b

Counts
72 → 8

localize28.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (* b b) (* (* 4.0 a) c))
3.8b
(/ (* 2.0 c) (+ (neg b) (- (* a (* c (/ 2.0 b))) b)))
5.7b
(* a (* c (/ 2.0 b)))
21.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite29.0ms

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

series57.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- (* b b) (* (* 4.0 a) c))
28.0ms
(/ (* 2.0 c) (+ (neg b) (- (* a (* c (/ 2.0 b))) b)))
6.0ms
(* a (* c (/ 2.0 b)))
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify54.0ms

Algorithm
egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049451061
149451061

prune193.0ms

Filtered
59 candidates to 86 candidates (-45.8%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New82486
Fresh066
Picked101
Done011
Total831194

Merged error: 6.3b

Counts
94 → 11

localize30.0ms

Local error

Found 4 expressions with local error:

0.8b
(- (* b b) (* (* 4.0 a) c))
3.8b
(* (* (cbrt a) (cbrt a)) (* c (* (/ 2.0 b) (cbrt a))))
3.8b
(/ (* 2.0 c) (+ (neg b) (- (* (* (cbrt a) (cbrt a)) (* c (* (/ 2.0 b) (cbrt a)))) b)))
21.4b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
41×add-exp-log
29×add-cbrt-cube
26×pow1
23×prod-exp cbrt-unprod
15×*-un-lft-identity pow-prod-down
8×add-sqr-sqrt
7×add-cube-cbrt
6×add-log-exp
5×times-frac associate-/r*
4×cbrt-undiv div-exp distribute-lft-out
3×sqrt-prod
2×flip3-- distribute-rgt-neg-in sqrt-div associate-*r/ associate-/r/ flip--
1×sub-neg rem-sqrt-square frac-2neg sqrt-pow1 flip3-+ pow1/2 diff-log associate-*r* associate-*l* associate-*l/ clear-num *-commutative flip-+ div-inv associate-/l*
Counts
4 → 86
Calls
4 calls:
4.0ms
(- (* b b) (* (* 4.0 a) c))
13.0ms
(* (* (cbrt a) (cbrt a)) (* c (* (/ 2.0 b) (cbrt a))))
18.0ms
(/ (* 2.0 c) (+ (neg b) (- (* (* (cbrt a) (cbrt a)) (* c (* (/ 2.0 b) (cbrt a)))) b)))
4.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series62.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- (* b b) (* (* 4.0 a) c))
9.0ms
(* (* (cbrt a) (cbrt a)) (* c (* (/ 2.0 b) (cbrt a))))
29.0ms
(/ (* 2.0 c) (+ (neg b) (- (* (* (cbrt a) (cbrt a)) (* c (* (/ 2.0 b) (cbrt a)))) b)))
15.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify48.0ms

Algorithm
egg-herbie
Counts
98 → 98
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
051791168

prune138.0ms

Filtered
60 candidates to 98 candidates (-63.3%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New97198
Fresh189
Picked101
Done011
Total9910109

Merged error: 6.3b

Counts
109 → 10

regimes323.0ms

Accuracy

87.1% (1.8b remaining)

Error of 7.3b against oracle of 5.5b and baseline of 19.7b

bsearch49.0ms

Steps
ItersRangePoint
8
2.1184946901509784e+140
1.2405450784143964e+144
3.8865772398298144e+142
4
-6.051223923670694e-13
-3.995354210854821e-13
-5.969724267082393e-13

simplify14.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
099387
199387

end0.0ms

sample1.0s

Algorithm
intervals
Results
735.0ms8000×body80valid
52.0ms601×body80nan
34.0ms390×body80invalid

Profiling

Loading profile data...