Details

Time bar (total: 28.6s)

sample148.0ms

Algorithm
intervals
Results
34.0ms125×body320valid
21.0ms255×body80nan
19.0ms511×pre80true
15.0ms83×body160valid
9.0ms20×body640valid
2.0ms28×body80valid

simplify404.0ms

Counts
1 → 1
Iterations
IterNodes
done94
794
693
591
483
368
239
121
012

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 53.4b

localize161.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* b b) (* (* 3.0 a) c))
0.2b
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
0.2b
(* (* 3.0 a) c)
23.3b
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

rewrite446.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
14×add-cbrt-cube add-exp-log
13×*-un-lft-identity
9×pow1
8×add-log-exp
7×add-cube-cbrt
6×times-frac associate-/l* difference-of-squares
4×prod-exp cbrt-unprod insert-posit16
3×flip3-- associate-*r* pow-prod-down sqrt-prod flip-- distribute-lft-out--
2×cbrt-undiv sub-neg diff-log div-exp associate-/l/
1×clear-num associate-/r* frac-2neg div-sub associate-*l* *-commutative div-inv
Counts
4 → 79
Calls
4 calls:
19.0ms
(- (* b b) (* (* 3.0 a) c))
243.0ms
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
68.0ms
(* (* 3.0 a) c)
108.0ms
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

series485.0ms

Counts
4 → 12
Calls
4 calls:
88.0ms
(- (* b b) (* (* 3.0 a) c))
207.0ms
(/ (- (sqrt (- (* b b) (* (* 3.0 a) c))) b) (* 3.0 a))
41.0ms
(* (* 3.0 a) c)
149.0ms
(- (sqrt (- (* b b) (* (* 3.0 a) c))) b)

simplify3.6s

Counts
91 → 91
Iterations
IterNodes
done5003
21430
1417
0159

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 2.5b

localize24.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify0.0ms

Counts
0 → 0
Iterations
IterNodes
done0
00

prune120.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 2.5b

localize111.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ (* a c) b)
0.3b
(* -1.5 (/ (* a c) b))
0.4b
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

rewrite168.0ms

Algorithm
rewrite-expression-head
Rules
49×add-cbrt-cube add-exp-log
17×prod-exp cbrt-unprod
16×cbrt-undiv div-exp
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
7×times-frac associate-*r*
5×pow1
4×associate-/r*
3×associate-*l* insert-posit16 div-inv add-log-exp
2×clear-num frac-2neg associate-*r/ associate-/l*
1×pow-prod-down *-commutative unswap-sqr associate-/l/
Counts
3 → 81
Calls
3 calls:
25.0ms
(/ (* a c) b)
58.0ms
(* -1.5 (/ (* a c) b))
71.0ms
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

series174.0ms

Counts
3 → 9
Calls
3 calls:
52.0ms
(/ (* a c) b)
68.0ms
(* -1.5 (/ (* a c) b))
53.0ms
(/ (* -1.5 (/ (* a c) b)) (* 3.0 a))

simplify4.1s

Counts
90 → 90
Iterations
IterNodes
done5054
22242
1389
0126

prune1.2s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 2.5b

localize231.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (cbrt (* (* (* -1.5 -1.5) -1.5) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b)))) (* 3.0 a))
0.4b
(/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))
0.4b
(* (* (* a a) a) (* (* c c) c))
0.7b
(cbrt (* (* (* -1.5 -1.5) -1.5) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))))

rewrite1.8s

Algorithm
rewrite-expression-head
Rules
216×add-exp-log
214×add-cbrt-cube
139×prod-exp cbrt-unprod
128×pow1
52×pow-prod-down
40×pow-plus pow-prod-up
32×cbrt-undiv div-exp
8×pow2 pow-sqr
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×times-frac associate-/l*
4×insert-posit16 add-log-exp
3×cbrt-prod
2×cbrt-div clear-num associate-/r* frac-2neg pow3 associate-*r/ div-inv
1×pow1/3 associate-*r* associate-*l* *-commutative associate-/l/
Counts
4 → 173
Calls
4 calls:
35.0ms
(/ (cbrt (* (* (* -1.5 -1.5) -1.5) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b)))) (* 3.0 a))
428.0ms
(/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))
296.0ms
(* (* (* a a) a) (* (* c c) c))
1.0s
(cbrt (* (* (* -1.5 -1.5) -1.5) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))))

series655.0ms

Counts
4 → 12
Calls
4 calls:
197.0ms
(/ (cbrt (* (* (* -1.5 -1.5) -1.5) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b)))) (* 3.0 a))
175.0ms
(/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))
127.0ms
(* (* (* a a) a) (* (* c c) c))
156.0ms
(cbrt (* (* (* -1.5 -1.5) -1.5) (/ (* (* (* a a) a) (* (* c c) c)) (* (* b b) b))))

simplify5.4s

Counts
185 → 185
Iterations
IterNodes
done5087
22685
1593
0206

prune1.1s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 2.5b

regimes1.7s

Accuracy

0% (3.4b remaining)

Error of 6.1b against oracle of 2.6b and baseline of 6.1b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done6
16
05

end0.0ms

sample5.2s

Algorithm
intervals
Results
1.5s8237×body80nan
1.0s3672×body320valid
973.0ms16237×pre80true
556.0ms2939×body160valid
258.0ms493×body640valid
118.0ms896×body80valid