Details

Time bar (total: 2.3m)

sample128.0ms

Algorithm
intervals
Results
27.0ms164×body160valid
21.0ms504×pre80true
19.0ms248×body80nan
10.0ms43×body320valid
4.0ms49×body80valid

simplify138.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
138.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 44.0b

localize43.0ms

Local error

Found 4 expressions with local error:

38.5b
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
0.3b
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
0.3b
(* (* 3 a) c)
0.2b
(- (* b b) (* (* 3 a) c))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
14×add-cbrt-cube add-exp-log
10×add-sqr-sqrt fma-def add-cube-cbrt add-log-exp
9×pow1
6×distribute-rgt-neg-in distribute-lft-out
5×times-frac associate-/l*
4×expm1-log1p-u prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
3×distribute-lft-neg-in associate-*r* pow-prod-down
2×neg-sub0 cbrt-undiv sum-log flip3-+ div-exp associate-+l- flip-+ associate-/l/
1×+-commutative clear-num associate-/r* neg-mul-1 sub-neg frac-2neg flip3-- fma-neg diff-log div-sub associate-*l* prod-diff neg-log *-commutative div-inv flip--
Counts
4 → 97
Calls
4 calls:
Slowest
56.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
30.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
14.0ms
(* (* 3 a) c)
8.0ms
(- (* b b) (* (* 3 a) c))

series405.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
179.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
116.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
76.0ms
(- (* b b) (* (* 3 a) c))
33.0ms
(* (* 3 a) c)

simplify12.9s

Counts
109 → 109
Calls
109 calls:
Slowest
606.0ms
(* (* (* (* 3 a) c) (* (* 3 a) c)) (* (* 3 a) c))
564.0ms
(- (* (- b) (- b)) (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))))
559.0ms
(* (* (* (* 3 3) 3) (* (* a a) a)) (* (* c c) c))
485.0ms
(* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* c c) c))
440.0ms
(- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c)))

prune1.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
55×add-cbrt-cube add-exp-log
34×times-frac
28×add-sqr-sqrt *-un-lft-identity
19×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
14×pow1 associate-/l*
12×add-cube-cbrt
8×associate-/r* distribute-lft-out-- difference-of-squares
6×pow-prod-down associate-/r/
4×expm1-log1p-u distribute-rgt-neg-in associate-*r* associate-*l* sqrt-prod insert-posit16 log1p-expm1-u div-inv add-log-exp
3×flip3-- flip--
2×clear-num frac-2neg *-commutative
1×associate-/l/
Counts
4 → 135
Calls
4 calls:
Slowest
87.0ms
(/ (/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (* 3 a))
73.0ms
(/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))
24.0ms
(* c (* 3 a))
23.0ms
(* (* 3 a) c)

series478.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
219.0ms
(/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))
205.0ms
(/ (/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (* 3 a))
29.0ms
(* (* 3 a) c)
24.0ms
(* c (* 3 a))

simplify45.4s

Counts
167 → 147
Calls
167 calls:
Slowest
2.2s
(/ (/ (* (* (* c (* 3 a)) (* c (* 3 a))) (* c (* 3 a))) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
2.2s
(/ (/ (* (* (* c (* 3 a)) (* c (* 3 a))) (* c (* 3 a))) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* (* 3 3) 3) (* (* a a) a)))
2.0s
(/ (/ (* (* (* c c) c) (* (* (* 3 3) 3) (* (* a a) a))) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
1.9s
(/ (/ (* (* (* c c) c) (* (* (* 3 3) 3) (* (* a a) a))) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* (* 3 3) 3) (* (* a a) a)))
1.9s
(/ (/ (* (* (* c c) c) (* (* (* 3 a) (* 3 a)) (* 3 a))) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* (* 3 3) 3) (* (* a a) a)))

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(fma c (* a -3) (* b b))
0.1b
(- (- b) (sqrt (fma c (* a -3) (* b b))))
0.1b
(/ (/ c 1) (- (- b) (sqrt (fma c (* a -3) (* b b)))))
0.0b
(sqrt (fma c (* a -3) (* b b)))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
177×add-sqr-sqrt
176×*-un-lft-identity
163×times-frac
116×add-cube-cbrt
60×prod-diff
48×sqrt-prod
36×distribute-rgt-neg-in
30×distribute-lft-out-- difference-of-squares
21×distribute-lft-neg-in
13×associate-/l*
11×add-exp-log
10×fma-neg
9×add-cbrt-cube div-inv
8×add-log-exp
7×associate-/r* neg-mul-1
5×pow1 div-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×cbrt-undiv
2×flip3-- diff-log associate-/r/ flip--
1×associate--l- neg-sub0 rem-sqrt-square clear-num sub-neg frac-2neg sqrt-pow1 pow1/2 1-exp neg-log fma-udef associate-/l/
Counts
4 → 250
Calls
4 calls:
Slowest
15.0ms
(/ (/ c 1) (- (- b) (sqrt (fma c (* a -3) (* b b)))))
10.0ms
(- (- b) (sqrt (fma c (* a -3) (* b b))))
1.0ms
(sqrt (fma c (* a -3) (* b b)))
0.0ms
(fma c (* a -3) (* b b))

series510.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
233.0ms
(/ (/ c 1) (- (- b) (sqrt (fma c (* a -3) (* b b)))))
103.0ms
(sqrt (fma c (* a -3) (* b b)))
101.0ms
(- (- b) (sqrt (fma c (* a -3) (* b b))))
73.0ms
(fma c (* a -3) (* b b))

simplify33.8s

Counts
419 → 262
Calls
419 calls:
Slowest
820.0ms
(/ (/ (* (* c c) c) (* (* 1 1) 1)) (* (* (- (- b) (sqrt (fma c (* a -3) (* b b)))) (- (- b) (sqrt (fma c (* a -3) (* b b))))) (- (- b) (sqrt (fma c (* a -3) (* b b))))))
518.0ms
(/ (* (* (/ c 1) (/ c 1)) (/ c 1)) (* (* (- (- b) (sqrt (fma c (* a -3) (* b b)))) (- (- b) (sqrt (fma c (* a -3) (* b b))))) (- (- b) (sqrt (fma c (* a -3) (* b b))))))
370.0ms
(* (* (/ (/ c 1) (- (- b) (sqrt (fma c (* a -3) (* b b))))) (/ (/ c 1) (- (- b) (sqrt (fma c (* a -3) (* b b)))))) (/ (/ c 1) (- (- b) (sqrt (fma c (* a -3) (* b b))))))
358.0ms
(/ (/ c 1) (- (* (- b) (- b)) (* (sqrt (fma c (* a -3) (* b b))) (sqrt (fma c (* a -3) (* b b))))))
351.0ms
(- (* (- b) (- b)) (* (sqrt (fma c (* a -3) (* b b))) (sqrt (fma c (* a -3) (* b b)))))

prune2.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

38.5b
(- b (sqrt (fma (* a -3) c (* b b))))
0.3b
(/ (- (fma (sqrt (fma c (* a -3) (* b b))) (fma c (* a -3) (* b b)) (* b (* b b)))) (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b))))
0.3b
(* b (* b b))
0.2b
(fma (* a -3) c (* b b))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
43×*-un-lft-identity
41×add-cube-cbrt
30×times-frac
18×pow1 prod-diff
12×distribute-lft-neg-in distribute-rgt-neg-in
11×add-cbrt-cube add-exp-log
10×sqrt-prod associate-/l*
6×add-log-exp
5×pow-prod-up
4×expm1-log1p-u neg-mul-1 insert-posit16 log1p-expm1-u
3×associate-/r* fma-neg associate-*l* pow-prod-down prod-exp cbrt-unprod
2×difference-of-squares
1×pow2 neg-sub0 cbrt-undiv clear-num sub-neg frac-2neg pow-plus flip3-- diff-log div-sub cube-unmult div-exp associate-*r* distribute-frac-neg pow-sqr *-commutative fma-udef div-inv flip-- distribute-lft-out-- unswap-sqr
Counts
4 → 137
Calls
4 calls:
Slowest
28.0ms
(* b (* b b))
20.0ms
(/ (- (fma (sqrt (fma c (* a -3) (* b b))) (fma c (* a -3) (* b b)) (* b (* b b)))) (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b))))
11.0ms
(- b (sqrt (fma (* a -3) c (* b b))))
0.0ms
(fma (* a -3) c (* b b))

series611.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
368.0ms
(/ (- (fma (sqrt (fma c (* a -3) (* b b))) (fma c (* a -3) (* b b)) (* b (* b b)))) (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b))))
100.0ms
(- b (sqrt (fma (* a -3) c (* b b))))
79.0ms
(fma (* a -3) c (* b b))
63.0ms
(* b (* b b))

simplify31.7s

Counts
202 → 149
Calls
202 calls:
Slowest
845.0ms
(* (* (/ (- (fma (sqrt (fma c (* a -3) (* b b))) (fma c (* a -3) (* b b)) (* b (* b b)))) (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b)))) (/ (- (fma (sqrt (fma c (* a -3) (* b b))) (fma c (* a -3) (* b b)) (* b (* b b)))) (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b))))) (/ (- (fma (sqrt (fma c (* a -3) (* b b))) (fma c (* a -3) (* b b)) (* b (* b b)))) (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b)))))
728.0ms
(* (* (* b b) b) (* (* (* b b) b) (* (* b b) b)))
641.0ms
(/ (- (sqrt (fma (sqrt (fma c (* a -3) (* b b))) (fma c (* a -3) (* b b)) (* b (* b b))))) (* (cbrt (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b)))) (cbrt (fma (- b (sqrt (fma (* a -3) c (* b b)))) b (fma (* a -3) c (* b b))))))
509.0ms
(* (* (* b b) b) (* (* (* b b) (* b b)) (* b b)))
499.0ms
(- (* b b) (* (sqrt (fma (* a -3) c (* b b))) (sqrt (fma (* a -3) c (* b b)))))

prune2.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes303.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch2.0ms

end0.0ms

sample5.6s

Algorithm
intervals
Results
1.4s4917×body160valid
1.1s8359×body80nan
1.0s16359×pre80true
912.0ms1360×body320valid
236.0ms1723×body80valid