Details

Time bar (total: 8.6s)

sample42.0ms

Algorithm
intervals
Results
22.0ms349×body80valid

simplify140.0ms

Counts
1 → 1
Iterations
IterNodes
done77
677
572
462
355
245
124
011

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize35.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (* (* (/ 5.0 4.0) b) b) (* 2.0 b)) 1.0)
0.0b
(+ (* (* (/ 5.0 4.0) b) b) (* 2.0 b))
0.2b
(* (* (/ 5.0 4.0) b) b)

rewrite447.0ms

Algorithm
rewrite-expression-head
Rules
12×add-cbrt-cube add-exp-log
10×add-log-exp
pow1
*-un-lft-identity
prod-exp cbrt-unprod
add-sqr-sqrt sum-log add-cube-cbrt
associate-*r* pow-prod-down
+-commutative flip3-+ associate-*l/ flip-+
cbrt-undiv associate-+l+ distribute-rgt-out div-exp associate-*l* *-commutative distribute-lft-out
Counts
3 → 47
Calls
3 calls:
320.0ms
(+ (+ (* (* (/ 5.0 4.0) b) b) (* 2.0 b)) 1.0)
63.0ms
(+ (* (* (/ 5.0 4.0) b) b) (* 2.0 b))
62.0ms
(* (* (/ 5.0 4.0) b) b)

series262.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(+ (+ (* (* (/ 5.0 4.0) b) b) (* 2.0 b)) 1.0)
157.0ms
(+ (* (* (/ 5.0 4.0) b) b) (* 2.0 b))
58.0ms
(* (* (/ 5.0 4.0) b) b)

simplify2.6s

Counts
56 → 56
Iterations
IterNodes
done5001
21699
1302
0101

prune401.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (+ (* 1.25 (* b b)) (* b 2.0)) 1.0)
0.0b
(+ (* 1.25 (* b b)) (* b 2.0))
0.2b
(* 1.25 (* b b))

rewrite216.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
pow1 add-cbrt-cube add-exp-log
*-un-lft-identity
add-sqr-sqrt
sum-log add-cube-cbrt
associate-*l* pow-prod-down prod-exp cbrt-unprod
+-commutative flip3-+ flip-+
associate-+l+ associate-*r* *-commutative distribute-lft-out unswap-sqr
Counts
3 → 44
Calls
3 calls:
147.0ms
(+ (+ (* 1.25 (* b b)) (* b 2.0)) 1.0)
33.0ms
(+ (* 1.25 (* b b)) (* b 2.0))
34.0ms
(* 1.25 (* b b))

series263.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(+ (+ (* 1.25 (* b b)) (* b 2.0)) 1.0)
159.0ms
(+ (* 1.25 (* b b)) (* b 2.0))
61.0ms
(* 1.25 (* b b))

simplify1.9s

Counts
53 → 53
Iterations
IterNodes
done5000
21501
1257
082

prune323.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes62.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done13
113
09

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.5s10729×body80valid