Details

Time bar (total: 18.5s)

sample51.0ms

Algorithm
intervals
Results
21.0ms279×body80valid
5.0ms77×body80nan

simplify198.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
02038
13638
26637
312237
415437
516637
616837
done16837

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.6b

localize119.0ms

Local error

Found 4 expressions with local error:

1.2b
(- (* b b) (* (* 4.0 a) c))
1.2b
(- (* b b) (* (* 4.0 a) c))
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite89.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 expm1-log1p-u flip3-- sqrt-div add-cbrt-cube flip-- log1p-expm1-u
2×sub-neg rem-sqrt-square sqrt-pow1 pow1/2 fma-neg diff-log prod-diff
Counts
4 → 66
Calls
4 calls:
17.0ms
(- (* b b) (* (* 4.0 a) c))
18.0ms
(- (* b b) (* (* 4.0 a) c))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
27.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series342.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(- (* b b) (* (* 4.0 a) c))
54.0ms
(- (* b b) (* (* 4.0 a) c))
112.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
102.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify2.7s

Counts
78 → 78
Iterations

Useful iterations: done (2.7s)

IterNodesCost
0711146
11681050
2574952
32407952
done5000936

prune402.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 9.0b

localize101.0ms

Local error

Found 4 expressions with local error:

12.2b
(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×add-cube-cbrt *-un-lft-identity
10×fma-neg prod-diff
9×sqrt-prod
8×add-log-exp
7×pow1
6×distribute-lft-neg-in distribute-rgt-neg-in sqrt-div
4×add-exp-log expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
3×rem-sqrt-square sqrt-pow1 pow1/2
2×neg-mul-1 diff-log
1×associate--l- neg-sub0 sub-neg neg-log difference-of-squares
Counts
4 → 88
Calls
4 calls:
18.0ms
(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
11.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
13.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
17.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series436.0ms

Counts
4 → 12
Calls
4 calls:
110.0ms
(- (- b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
105.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
99.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
121.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify2.7s

Counts
100 → 100
Iterations

Useful iterations: done (2.7s)

IterNodesCost
01152639
12821649
28591574
333301538
done50001535

prune558.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 9.0b

localize113.0ms

Local error

Found 4 expressions with local error:

7.8b
(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))
22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite142.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
9×sqrt-prod
8×add-cube-cbrt *-un-lft-identity
7×pow1
6×sqrt-div add-log-exp
4×add-exp-log expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u
3×rem-sqrt-square sqrt-pow1 pow1/2 prod-diff
1×sub-neg fma-neg diff-log difference-of-squares
Counts
4 → 70
Calls
4 calls:
87.0ms
(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
18.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
12.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

series422.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
115.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
89.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
110.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify2.9s

Counts
82 → 82
Iterations

Useful iterations: done (2.9s)

IterNodesCost
01041631
12541137
27301072
326911064
done50011053

prune568.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 9.0b

localize144.0ms

Local error

Found 4 expressions with local error:

22.7b
(sqrt (- (* b b) (* (* 4.0 a) c)))
23.4b
(cbrt (- (* b b) (* (* 4.0 a) c)))
23.4b
(cbrt (- (* b b) (* (* 4.0 a) c)))
23.4b
(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod add-sqr-sqrt
8×add-cube-cbrt *-un-lft-identity
6×cbrt-div
5×pow1
4×add-exp-log expm1-log1p-u flip3-- add-cbrt-cube flip-- log1p-expm1-u add-log-exp
3×pow1/3 sqrt-prod
2×sqrt-div
1×rem-sqrt-square sqrt-pow1 pow1/2
Counts
4 → 62
Calls
4 calls:
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
17.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
11.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
12.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

series561.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
153.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
138.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
172.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

simplify2.9s

Counts
74 → 74
Iterations

Useful iterations: done (2.9s)

IterNodesCost
0941258
12161182
26171076
321591058
done50011028

prune909.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 9.0b

regimes313.0ms

Accuracy

92.4% (0.9b remaining)

Error of 8.6b against oracle of 7.7b and baseline of 19.8b

bsearch255.0ms

Steps
ItersRangePoint
8
5.30600492772346e+88
1.193256888551369e+92
1.8685092199711007e+90
8
-5.7211821970331905e+156
-1.4082798590396656e+153
-1.3283483556924014e+154

simplify12.0ms

Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
046142
152142
done52142

end0.0ms

sample1.5s

Algorithm
intervals
Results
682.0ms8727×body80valid
210.0ms2974×body80nan