Details

Time bar (total: 5.0m)

sample185.0ms

Algorithm
intervals
Results
42.0ms22×body640valid
35.0ms103×body320valid
29.0ms526×pre80true
29.0ms270×body80nan
23.0ms97×body160valid
4.0ms34×body80valid

simplify87.0ms

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

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 51.7b

localize21.0ms

Local error

Found 4 expressions with local error:

24.3b
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
0.2b
(* (* 3 a) c)
0.2b
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
0.1b
(- (* b b) (* (* 3 a) c))

rewrite930.0ms

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
546.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
297.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
61.0ms
(- (* b b) (* (* 3 a) c))
22.0ms
(* (* 3 a) c)

series364.0ms

Calls
4 calls:
Slowest
158.0ms
(/ (- (sqrt (- (* b b) (* (* 3 a) c))) b) (* 3 a))
104.0ms
(- (sqrt (- (* b b) (* (* 3 a) c))) b)
74.0ms
(- (* b b) (* (* 3 a) c))
28.0ms
(* (* 3 a) c)

simplify18.5s

Calls
239 calls:
Slowest
733.0ms
(/ (* (* (- (sqrt (- (* b b) (* (* 3 a) c))) b) (- (sqrt (- (* b b) (* (* 3 a) c))) b)) (- (sqrt (- (* b b) (* (* 3 a) c))) b)) (* (* (* 3 a) (* 3 a)) (* 3 a)))
518.0ms
(- (* (sqrt (- (* b b) (* (* 3 a) c))) (sqrt (- (* b b) (* (* 3 a) c)))) (* b b))
485.0ms
(* (* (* (* 3 3) 3) (* (* a a) a)) (* (* c c) c))
352.0ms
(* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* c c) c))
331.0ms
(- (pow (sqrt (- (* b b) (* (* 3 a) c))) 3) (pow b 3))

prune2.4s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.2b

localize11.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

prune61.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 3.2b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite149.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
79.0ms
(/ (* -3/2 (/ (* a c) b)) (* 3 a))
24.0ms
(* -3/2 (/ (* a c) b))
15.0ms
(/ (* a c) b)

series105.0ms

Calls
3 calls:
Slowest
49.0ms
(* -3/2 (/ (* a c) b))
36.0ms
(/ (* a c) b)
20.0ms
(/ (* -3/2 (/ (* a c) b)) (* 3 a))

simplify3.6m

Calls
1484 calls:
Slowest
1.3s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
1.3s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))
1.1s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a c) (* a c)) (* a c)) (* (* b b) b))) (* (* (* 3 3) 3) (* (* a a) a)))
1.1s
(/ (* (* (* -3/2 -3/2) -3/2) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))) (* (* (* 3 3) 3) (* (* a a) a)))
904.0ms
(/ (* (* (* -3/2 -3/2) -3/2) (* (* (/ (* a c) b) (/ (* a c) b)) (/ (* a c) b))) (* (* (* 3 a) (* 3 a)) (* 3 a)))

prune9.4s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 3.1b

localize55.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt c)
0.6b
(cbrt c)
0.6b
(cbrt c)
0.5b
(* (/ (cbrt 3) (cbrt c)) (/ (cbrt 3) (cbrt c)))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
385×cbrt-prod
325×add-sqr-sqrt
236×*-un-lft-identity
235×add-cube-cbrt
225×frac-times
193×associate-/l*
192×associate-/r*
184×times-frac
54×add-cbrt-cube
40×cbrt-undiv swap-sqr associate-*r* associate-*l*
33×clear-num
32×frac-2neg
25×cbrt-unprod unswap-sqr
16×add-exp-log
15×associate-*l/ associate-*r/
11×pow1
4×div-exp prod-exp insert-posit16 div-inv add-log-exp
3×pow1/3
2×un-div-inv
1×pow2 pow-plus pow-prod-down pow-sqr *-commutative pow-prod-up
Calls
4 calls:
Slowest
49.0ms
(* (/ (cbrt 3) (cbrt c)) (/ (cbrt 3) (cbrt c)))
1.0ms
(cbrt c)
1.0ms
(cbrt c)
1.0ms
(cbrt c)

series1.3s

Calls
4 calls:
Slowest
419.0ms
(* (/ (cbrt 3) (cbrt c)) (/ (cbrt 3) (cbrt c)))
296.0ms
(cbrt c)
284.0ms
(cbrt c)
269.0ms
(cbrt c)

simplify36.4s

Calls
747 calls:
Slowest
761.0ms
(* (/ (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) (* (* (cbrt c) (cbrt c)) (cbrt c))) (/ 3 (* (* (cbrt c) (cbrt c)) (cbrt c))))
620.0ms
(* (/ (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) c) (/ (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) (* (* (cbrt c) (cbrt c)) (cbrt c))))
520.0ms
(* (/ (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) (* (* (cbrt c) (cbrt c)) (cbrt c))) (/ (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) c))
502.0ms
(* (pow (cbrt 3) 2) (pow (/ 1 (pow c 2)) 1/3))
474.0ms
(* (/ (* (* (cbrt 3) (cbrt 3)) (cbrt 3)) (* (* (cbrt c) (cbrt c)) (cbrt c))) (/ 3 c))

prune7.5s

Pruning

26 alts after pruning (24 fresh and 2 done)

Merged error: 3.1b

regimes740.0ms

Accuracy

0% (3.6b remaining)

Error of 6.4b against oracle of 2.7b and baseline of 6.4b

bsearch1.0ms

end0.0ms

sample6.0s

Algorithm
intervals
Results
1.6s3615×body320valid
1.5s15885×pre80true
1.2s7885×body80nan
858.0ms2969×body160valid
342.0ms459×body640valid
119.0ms957×body80valid