Details

Time bar (total: 23.5s)

sample196.0ms

Algorithm
intervals
Results
153.0ms621×body80valid

simplify4.0s

Counts
1 → 1
Iterations
IterNodes
82469
71581
61263
5822
4442
3223
293
137
016

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 9.8b

localize67.0ms

Local error

Found 4 expressions with local error:

1.5b
(* b (- b (* (* 2 a) c)))
2.3b
(* (* (* a a) R) R)
6.3b
(* (* a a) d)
8.4b
(* (* a a) R)

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
25×pow1 add-cbrt-cube add-exp-log
13×add-sqr-sqrt pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
*-un-lft-identity add-cube-cbrt
associate-*l*
*-commutative insert-posit16 add-log-exp
unswap-sqr
distribute-rgt-in sub-neg distribute-lft-in associate-*r/
flip3-- flip--
Counts
4 → 87
Calls
4 calls:
37.0ms
(* b (- b (* (* 2 a) c)))
117.0ms
(* (* (* a a) R) R)
38.0ms
(* (* a a) d)
38.0ms
(* (* a a) R)

series250.0ms

Counts
4 → 12
Calls
4 calls:
111.0ms
(* b (- b (* (* 2 a) c)))
65.0ms
(* (* (* a a) R) R)
37.0ms
(* (* a a) d)
37.0ms
(* (* a a) R)

simplify4.7s

Counts
99 → 99
Iterations
IterNodes
35354
21244
1363
0132

prune2.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.4b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b
(- b (* (* 2 a) c))
0.2b
(* (* a R) (* a R))
1.5b
(* b (- b (* (* 2 a) c)))
6.3b
(* (* a a) d)

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
50×pow1
23×add-cbrt-cube add-exp-log
21×pow-prod-down
12×prod-exp cbrt-unprod
10×add-sqr-sqrt
*-un-lft-identity associate-*r* add-cube-cbrt
add-log-exp
associate-*l*
pow-sqr pow-prod-up insert-posit16
sub-neg *-commutative
distribute-rgt-in distribute-lft-in pow-plus flip3-- associate-*r/ flip-- unswap-sqr
pow2 diff-log swap-sqr
Counts
4 → 93
Calls
4 calls:
12.0ms
(- b (* (* 2 a) c))
58.0ms
(* (* a R) (* a R))
43.0ms
(* b (- b (* (* 2 a) c)))
37.0ms
(* (* a a) d)

series306.0ms

Counts
4 → 12
Calls
4 calls:
94.0ms
(- b (* (* 2 a) c))
63.0ms
(* (* a R) (* a R))
111.0ms
(* b (- b (* (* 2 a) c)))
38.0ms
(* (* a a) d)

simplify3.0s

Counts
105 → 105
Iterations
IterNodes
34659
21153
1347
0131

prune2.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

regimes738.0ms

Accuracy

0% (0.9b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
223
123
016

end0.0ms

sample5.9s

Algorithm
intervals
Results
4.8s18136×body80valid