Details

Time bar (total: 16.7s)

sample96.0ms

Algorithm
intervals
Results
23.0ms292×body80nan
19.0ms149×body160valid
15.0ms548×pre80true
6.0ms107×body80valid

simplify106.0ms

Counts
1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 29.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* b b) (* (* 3.0 a) c))
0.3b
(* (* 3.0 a) c)
0.4b
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
28.8b
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
14×add-exp-log add-cbrt-cube
10×add-log-exp
9×pow1
7×add-sqr-sqrt add-cube-cbrt
6×distribute-lft-out
5×times-frac associate-/l*
4×prod-exp cbrt-unprod
3×distribute-rgt-neg-in associate-*r* pow-prod-down
2×cbrt-undiv neg-sub0 associate-+l- flip3-+ div-exp sum-log flip-+ associate-/l/
1×+-commutative sub-neg flip3-- frac-2neg diff-log div-sub associate-*l* neg-log clear-num associate-/r* *-commutative flip-- div-inv
Counts
4 → 73
Calls
4 calls:
9.0ms
(- (* b b) (* (* 3.0 a) c))
21.0ms
(* (* 3.0 a) c)
162.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
40.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

series377.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(- (* b b) (* (* 3.0 a) c))
35.0ms
(* (* 3.0 a) c)
170.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))) (* 3.0 a))
113.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))

simplify1.0s

Counts
85 → 85

prune318.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.5b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* 3.0 a) c)
0.3b
(* 3.0 (* a c))
0.3b
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
0.4b
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

rewrite968.0ms

Algorithm
rewrite-expression-head
Rules
90×times-frac
80×add-sqr-sqrt *-un-lft-identity
40×add-cube-cbrt
30×associate-/l*
28×add-exp-log add-cbrt-cube
20×distribute-lft-out-- difference-of-squares
14×pow1
10×distribute-rgt-neg-in sqrt-prod
8×prod-exp associate-/r* cbrt-unprod
7×cbrt-undiv div-exp
6×pow-prod-down associate-/r/
4×associate-*r* associate-*l* div-inv add-log-exp
3×flip3-- div-sub flip-- associate-/l/
2×associate-+l- frac-2neg clear-num *-commutative
1×flip3-+ flip-+
Counts
4 → 159
Calls
4 calls:
20.0ms
(* (* 3.0 a) c)
31.0ms
(* 3.0 (* a c))
471.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
437.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

series487.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* 3.0 a) c)
22.0ms
(* 3.0 (* a c))
257.0ms
(/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))
176.0ms
(/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a))

simplify1.8s

Counts
171 → 171

prune737.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* b b) (* (* 3.0 a) c))
0.3b
(* (* 3.0 a) c)
0.3b
(* 3.0 (* a c))
0.4b
(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
73×times-frac
62×add-sqr-sqrt *-un-lft-identity
30×add-cube-cbrt
28×add-exp-log add-cbrt-cube
16×distribute-lft-out-- difference-of-squares
14×pow1
9×prod-exp cbrt-unprod div-inv
8×distribute-rgt-neg-in sqrt-prod
7×cbrt-undiv div-exp associate-/r* associate-/l*
6×pow-prod-down add-log-exp
4×associate-*r* associate-*l*
2×flip3-- associate-/r/ *-commutative flip--
1×sub-neg frac-2neg diff-log clear-num associate-/l/
Counts
4 → 132
Calls
4 calls:
9.0ms
(- (* b b) (* (* 3.0 a) c))
20.0ms
(* (* 3.0 a) c)
20.0ms
(* 3.0 (* a c))
103.0ms
(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

series410.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(- (* b b) (* (* 3.0 a) c))
26.0ms
(* (* 3.0 a) c)
42.0ms
(* 3.0 (* a c))
290.0ms
(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c)))))

simplify1.5s

Counts
144 → 144

prune526.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.3b
(* 3.0 (* a c))
0.4b
(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (/ (+ (- (* (* (* 3.0 a) c) (* (* 3.0 a) c))) (pow b 4)) (+ (* b b) (* (* 3.0 a) c))))))
0.4b
(/ (+ (- (* (* (* 3.0 a) c) (* (* 3.0 a) c))) (pow b 4)) (+ (* b b) (* (* 3.0 a) c)))
0.5b
(* (* (* 3.0 a) c) (* (* 3.0 a) c))

rewrite474.0ms

Algorithm
rewrite-expression-head
Rules
123×pow1
103×times-frac
96×add-sqr-sqrt
80×*-un-lft-identity
69×pow-prod-down
61×add-exp-log add-cbrt-cube
40×add-cube-cbrt
33×prod-exp cbrt-unprod
24×difference-of-squares
16×sqrt-prod distribute-lft-out--
11×associate-/r* div-inv associate-/l*
9×pow-sqr pow-prod-up
8×cbrt-undiv distribute-rgt-neg-in div-exp
4×associate-*l* associate-/r/ distribute-lft-out add-log-exp
3×pow-plus associate-/l/
2×frac-2neg flip3-+ associate-*r* clear-num *-commutative flip-+
1×pow2 neg-sub0 associate-+l- flip3-- div-sub swap-sqr flip--
Counts
4 → 206
Calls
4 calls:
18.0ms
(* 3.0 (* a c))
195.0ms
(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (/ (+ (- (* (* (* 3.0 a) c) (* (* 3.0 a) c))) (pow b 4)) (+ (* b b) (* (* 3.0 a) c))))))
87.0ms
(/ (+ (- (* (* (* 3.0 a) c) (* (* 3.0 a) c))) (pow b 4)) (+ (* b b) (* (* 3.0 a) c)))
162.0ms
(* (* (* 3.0 a) c) (* (* 3.0 a) c))

series609.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* 3.0 (* a c))
349.0ms
(/ (/ (* 3.0 (* a c)) 3.0) (- (- b) (sqrt (/ (+ (- (* (* (* 3.0 a) c) (* (* 3.0 a) c))) (pow b 4)) (+ (* b b) (* (* 3.0 a) c))))))
163.0ms
(/ (+ (- (* (* (* 3.0 a) c) (* (* 3.0 a) c))) (pow b 4)) (+ (* b b) (* (* 3.0 a) c)))
70.0ms
(* (* (* 3.0 a) c) (* (* 3.0 a) c))

simplify670.0ms

Counts
218 → 218

prune788.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0b

regimes256.0ms

Accuracy

49.7% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify1.5s

end0.0ms

sample3.6s

Algorithm
intervals
Results
1.1s16360×pre80true
732.0ms4575×body160valid
721.0ms8360×body80nan
261.0ms3425×body80valid