Details

Time bar (total: 8.5m)

sample113.0ms

Algorithm
intervals
Results
33.0ms526×pre80true
27.0ms139×body160valid
24.0ms270×body80nan
12.0ms117×body80valid

simplify139.0ms

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

prune19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.1b

localize382.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
164×add-sqr-sqrt
82×*-un-lft-identity
72×times-frac
45×associate-*l*
43×difference-of-squares
42×add-cube-cbrt
29×unswap-sqr
27×associate-*r*
20×distribute-lft-out--
14×add-cbrt-cube add-exp-log sqrt-prod
12×associate-/r* *-commutative
9×pow1
8×add-log-exp
6×associate-/l*
4×prod-exp cbrt-unprod insert-posit16
3×flip3-- swap-sqr pow-prod-down flip--
2×cbrt-undiv sub-neg diff-log div-exp associate-/l/
1×clear-num frac-2neg div-sub div-inv
Calls
4 calls:
Slowest
696.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
353.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
63.0ms
(- (* b b) (* (* 3 a) c))
39.0ms
(* (* 3 a) c)

series402.0ms

Calls
4 calls:
Slowest
159.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
134.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
75.0ms
(- (* b b) (* (* 3 a) c))
33.0ms
(* (* 3 a) c)

simplify19.5s

Calls
239 calls:
Slowest
645.0ms
(- (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))) (* b b))
457.0ms
(* (* (* (* 3 3) 3) (* (* a a) a)) (* (* c c) c))
401.0ms
(* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* c c) c))
353.0ms
(- (pow (sqrt (- (* b b) (* (* 3 a) c))) 3) (pow b 3))
266.0ms
(/ (exp (* b b)) (exp (* (* 3 a) c)))

prune2.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 9.2b

localize9.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Calls
0 calls:
Slowest

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune107.0ms

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 9.2b

localize10.0ms

Local error

Found 3 expressions with local error:

0.3b
(/ (* -3/2 (/ (* a c) b)) (* 3 a))
0.3b
(* -3/2 (/ (* a c) b))
0.2b
(/ (* a c) b)

rewrite177.0ms

Algorithm
rewrite-expression-head
Rules
1180×times-frac
860×associate-*r*
853×add-sqr-sqrt
531×*-un-lft-identity
527×add-cube-cbrt
344×associate-*l*
156×unswap-sqr
114×*-commutative
91×associate-/l*
49×add-cbrt-cube add-exp-log
36×associate-*r/
21×associate-/r* associate-/l/
17×prod-exp cbrt-unprod
16×cbrt-undiv div-exp div-inv
6×clear-num un-div-inv
5×pow1
4×frac-2neg
3×insert-posit16 add-log-exp
1×pow-prod-down
Calls
3 calls:
Slowest
63.0ms
(/ (* -3/2 (/ (* a c) b)) (* 3 a))
42.0ms
(* -3/2 (/ (* a c) b))
24.0ms
(/ (* a c) b)

series110.0ms

Calls
3 calls:
Slowest
44.0ms
(/ (* a c) b)
41.0ms
(* -3/2 (/ (* a c) b))
24.0ms
(/ (* -3/2 (/ (* a c) b)) (* 3 a))

simplify3.7m

Calls
1484 calls:
Slowest
1.4s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
1.2s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
1.1s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 3 3) 3) (* (* a a) a)))
1.0s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b))) (* (* (* 3 3) 3) (* (* a a) a)))
908.0ms
(/ (* -3/2 (/ (* a (sqrt c)) (sqrt b))) (* 3 (* (cbrt a) (cbrt a))))

prune9.2s

Pruning

51 alts after pruning (51 fresh and 0 done)

Merged error: 9.1b

localize21.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ -3/2 (sqrt 3))
0.4b
(/ (/ -3/2 (sqrt 3)) (sqrt a))
0.4b
(/ (/ (* a c) b) (* (sqrt 3) (sqrt a)))
0.4b
(* (sqrt 3) (sqrt a))

rewrite178.0ms

Algorithm
rewrite-expression-head
Rules
1908×times-frac
1326×add-sqr-sqrt
856×*-un-lft-identity add-cube-cbrt
567×sqrt-prod
453×associate-*r* associate-*l*
235×unswap-sqr
109×*-commutative
80×associate-/l*
42×associate-/r*
34×add-cbrt-cube add-exp-log
32×div-inv
30×associate-/l/
14×cbrt-undiv div-exp
8×pow1
6×prod-exp cbrt-unprod
5×clear-num frac-2neg
4×insert-posit16 add-log-exp
3×pow-prod-down
2×sqrt-pow1 pow1/2
1×sqrt-unprod
Calls
4 calls:
Slowest
58.0ms
(/ (/ (* a c) b) (* (sqrt 3) (sqrt a)))
18.0ms
(/ (/ -3/2 (sqrt 3)) (sqrt a))
17.0ms
(* (sqrt 3) (sqrt a))
9.0ms
(/ -3/2 (sqrt 3))

series601.0ms

Calls
4 calls:
Slowest
291.0ms
(/ (/ (* a c) b) (* (sqrt 3) (sqrt a)))
222.0ms
(/ (/ -3/2 (sqrt 3)) (sqrt a))
88.0ms
(* (sqrt 3) (sqrt a))
0.0ms
(/ -3/2 (sqrt 3))

simplify3.8m

Calls
2150 calls:
Slowest
1.4s
(/ (/ (* (sqrt a) (sqrt c)) 1) (sqrt a))
1.1s
(/ (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b)) (* (* (* (sqrt 3) (sqrt 3)) (sqrt 3)) (* (* (sqrt a) (sqrt a)) (sqrt a))))
1.1s
(/ (/ (* a (* (cbrt c) (cbrt c))) (* (cbrt b) (cbrt b))) (* (sqrt (sqrt 3)) (sqrt (sqrt a))))
956.0ms
(/ (/ (* a 1) (* (cbrt b) (cbrt b))) (* (sqrt 3) (sqrt (sqrt a))))
941.0ms
(/ (/ (* (sqrt a) c) b) (* (sqrt (sqrt 3)) (sqrt (sqrt a))))

prune16.6s

Pruning

49 alts after pruning (49 fresh and 0 done)

Merged error: 9.0b

regimes1.8s

Accuracy

45.7% (7.6b remaining)

Error of 16.6b against oracle of 9.0b and baseline of 23.0b

bsearch40.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
1.7s4439×body160valid
1.1s16541×pre80true
1.1s8541×body80nan
590.0ms3561×body80valid