Details

Time bar (total: 2.9m)

sample123.0ms

Algorithm
intervals
Results
30.0ms281×body80nan
29.0ms142×body160valid
27.0ms537×pre80true
11.0ms114×body80valid

simplify148.0ms

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

prune26.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 27.6b

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite119.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
68.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
18.0ms
(* (* 3 a) c)
17.0ms
(- (* b b) (* (* 3 a) c))
16.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))

series381.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
180.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
109.0ms
(+ (- b) (sqrt (- (* b b) (* (* 3 a) c))))
58.0ms
(- (* b b) (* (* 3 a) c))
34.0ms
(* (* 3 a) c)

simplify13.2s

Counts
109 → 109
Calls
109 calls:
Slowest
572.0ms
(* (* (* (* 3 a) c) (* (* 3 a) c)) (* (* 3 a) c))
533.0ms
(- (* (- b) (- b)) (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))))
494.0ms
(* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* c c) c))
467.0ms
(- (* (* b b) (* b b)) (* (* (* 3 a) c) (* (* 3 a) c)))
451.0ms
(* (* (* (* 3 3) 3) (* (* a a) a)) (* (* c c) c))

prune1.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.4b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
71×add-sqr-sqrt *-un-lft-identity
61×prod-diff
51×add-cube-cbrt
45×add-cbrt-cube add-exp-log
35×sqrt-prod
34×times-frac
26×distribute-rgt-neg-in
21×distribute-lft-neg-in
17×cbrt-undiv div-exp
14×associate-/l*
13×prod-exp cbrt-unprod
11×fma-neg
10×distribute-lft-out-- add-log-exp difference-of-squares
8×associate-/r*
7×neg-mul-1
6×associate-/r/
5×flip3-- flip--
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u div-inv
3×diff-log
2×clear-num sub-neg frac-2neg
1×associate--l- neg-sub0 neg-log associate-/l/
Counts
4 → 201
Calls
4 calls:
Slowest
60.0ms
(/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))
56.0ms
(/ (/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (* 3 a))
20.0ms
(- (- b) (sqrt (- (* b b) (* (* 3 a) c))))
8.0ms
(- (* b b) (* (* 3 a) c))

series715.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
297.0ms
(/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))
235.0ms
(/ (/ (* c (* 3 a)) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (* 3 a))
107.0ms
(- (- b) (sqrt (- (* b b) (* (* 3 a) c))))
76.0ms
(- (* b b) (* (* 3 a) c))

simplify1.1m

Counts
302 → 213
Calls
302 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.1s
(/ (/ (* (* (* 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.1s
(/ (/ (* (* (* 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.7s
(/ (/ (* (* (* 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)))

prune2.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
97×add-sqr-sqrt *-un-lft-identity
74×times-frac
69×add-cube-cbrt
60×prod-diff
37×sqrt-prod
28×distribute-rgt-neg-in
21×distribute-lft-neg-in
18×add-cbrt-cube add-exp-log
14×associate-/l* distribute-lft-out-- difference-of-squares
10×associate-/r* fma-neg associate-/r/
8×add-log-exp
7×cbrt-undiv neg-mul-1 div-exp
6×flip3-- div-inv flip--
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u
2×clear-num frac-2neg diff-log prod-exp cbrt-unprod
1×associate--l- neg-sub0 sub-neg neg-log fma-udef associate-/l/
Counts
4 → 211
Calls
4 calls:
Slowest
41.0ms
(/ (/ (* c a) (- (- b) (sqrt (fma c (* -3 a) (* b b))))) a)
21.0ms
(- (- b) (sqrt (fma c (* -3 a) (* b b))))
18.0ms
(/ (* c a) (- (- b) (sqrt (fma c (* -3 a) (* b b)))))
0.0ms
(fma c (* -3 a) (* b b))

series735.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
288.0ms
(/ (* c a) (- (- b) (sqrt (fma c (* -3 a) (* b b)))))
277.0ms
(/ (/ (* c a) (- (- b) (sqrt (fma c (* -3 a) (* b b))))) a)
90.0ms
(- (- b) (sqrt (fma c (* -3 a) (* b b))))
79.0ms
(fma c (* -3 a) (* b b))

simplify40.0s

Counts
335 → 223
Calls
335 calls:
Slowest
921.0ms
(- (- (+ (log c) (log a)) (log (- (- b) (sqrt (fma c (* -3 a) (* b b)))))) (log a))
771.0ms
(/ (/ (* c a) (- (- b) (sqrt (fma c (* -3 a) (* b b))))) (sqrt a))
671.0ms
(/ (/ (* (* (* c c) c) (* (* a a) a)) (* (* (- (- b) (sqrt (fma c (* -3 a) (* b b)))) (- (- b) (sqrt (fma c (* -3 a) (* b b))))) (- (- b) (sqrt (fma c (* -3 a) (* b b)))))) (* (* a a) a))
649.0ms
(log (/ (/ (* c a) (- (- b) (sqrt (fma c (* -3 a) (* b b))))) a))
644.0ms
(/ (/ (* (* (* c a) (* c a)) (* c a)) (* (* (- (- b) (sqrt (fma c (* -3 a) (* b b)))) (- (- b) (sqrt (fma c (* -3 a) (* b b))))) (- (- b) (sqrt (fma c (* -3 a) (* b b)))))) (* (* a a) a))

prune2.4s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
119×add-sqr-sqrt
107×*-un-lft-identity
75×add-cube-cbrt
60×prod-diff
55×times-frac
38×sqrt-prod
29×distribute-rgt-neg-in
27×associate-*r*
21×distribute-lft-neg-in
18×add-cbrt-cube add-exp-log
16×distribute-lft-out-- difference-of-squares
13×associate-*l*
10×fma-neg
8×add-log-exp
7×associate-/r* neg-mul-1
6×pow1
5×cbrt-undiv div-exp
4×expm1-log1p-u prod-exp associate-/r/ cbrt-unprod insert-posit16 log1p-expm1-u unswap-sqr
3×flip3-- div-inv flip-- associate-/l*
2×diff-log
1×associate--l- neg-sub0 frac-times clear-num sub-neg frac-2neg pow-prod-down neg-log associate-*l/ associate-*r/ *-commutative fma-udef
Counts
4 → 217
Calls
4 calls:
Slowest
49.0ms
(* (/ c 3) (/ 3 (- (- b) (sqrt (fma -3 (* c a) (* b b))))))
25.0ms
(- (- b) (sqrt (fma -3 (* c a) (* b b))))
12.0ms
(/ 3 (- (- b) (sqrt (fma -3 (* c a) (* b b)))))
0.0ms
(fma -3 (* c a) (* b b))

series590.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
251.0ms
(* (/ c 3) (/ 3 (- (- b) (sqrt (fma -3 (* c a) (* b b))))))
142.0ms
(/ 3 (- (- b) (sqrt (fma -3 (* c a) (* b b)))))
112.0ms
(- (- b) (sqrt (fma -3 (* c a) (* b b))))
85.0ms
(fma -3 (* c a) (* b b))

simplify36.9s

Counts
319 → 229
Calls
319 calls:
Slowest
684.0ms
(+ (log (/ c 3)) (log (/ 3 (- (- b) (sqrt (fma -3 (* c a) (* b b)))))))
646.0ms
(* (/ (sqrt c) 3) (/ 3 (- (- b) (sqrt (fma -3 (* c a) (* b b))))))
632.0ms
(+ (- (log c) (log 3)) (- (log 3) (log (- (- b) (sqrt (fma -3 (* c a) (* b b)))))))
614.0ms
(* (/ (cbrt c) 3) (/ 3 (- (- b) (sqrt (fma -3 (* c a) (* b b))))))
502.0ms
(fma (- (sqrt (cbrt (fma -3 (* c a) (* b b))))) (sqrt (* (cbrt (fma -3 (* c a) (* b b))) (cbrt (fma -3 (* c a) (* b b))))) (* (sqrt (cbrt (fma -3 (* c a) (* b b)))) (sqrt (* (cbrt (fma -3 (* c a) (* b b))) (cbrt (fma -3 (* c a) (* b b)))))))

prune2.6s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes371.0ms

Accuracy

0% (0.4b remaining)

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

bsearch2.0ms

end0.0ms

sample5.1s

Algorithm
intervals
Results
1.6s8464×body80nan
1.4s4565×body160valid
1.1s16464×pre80true
445.0ms3435×body80valid