Details

Time bar (total: 16.6s)

sample31.0ms

Algorithm
intervals
Results
19.0ms313×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5000
41772
3378
289
130
015

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 8.2b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1.0 a) (/ 1.0 b))
0.0b
(* (+ a b) (- b a))
0.4b
(* (/ (- (/ 1.0 a) (/ 1.0 b)) 2.0) PI)
8.2b
(/ (* (/ (- (/ 1.0 a) (/ 1.0 b)) 2.0) PI) (/ (* (+ a b) (- b a)) 1.0))

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
92×add-sqr-sqrt
90×times-frac
71×*-un-lft-identity
47×add-cbrt-cube add-exp-log
44×associate-*l*
35×add-cube-cbrt
21×distribute-lft-out--
19×cbrt-undiv div-exp
17×difference-of-squares
12×prod-exp cbrt-unprod div-inv
8×pow1 associate-*r*
7×associate-/r*
6×add-log-exp
4×frac-times flip3-- associate-*l/ flip--
3×sub-neg flip3-+ flip-+ unswap-sqr
2×distribute-rgt-in distribute-lft-in pow-prod-down associate-*r/ *-commutative
1×clear-num frac-2neg diff-log associate-/r/ frac-sub distribute-lft-out associate-/l* associate-/l/
Counts
4 → 159
Calls
4 calls:
20.0ms
(- (/ 1.0 a) (/ 1.0 b))
53.0ms
(* (+ a b) (- b a))
104.0ms
(* (/ (- (/ 1.0 a) (/ 1.0 b)) 2.0) PI)
79.0ms
(/ (* (/ (- (/ 1.0 a) (/ 1.0 b)) 2.0) PI) (/ (* (+ a b) (- b a)) 1.0))

series323.0ms

Counts
4 → 12
Calls
4 calls:
40.0ms
(- (/ 1.0 a) (/ 1.0 b))
64.0ms
(* (+ a b) (- b a))
104.0ms
(* (/ (- (/ 1.0 a) (/ 1.0 b)) 2.0) PI)
116.0ms
(/ (* (/ (- (/ 1.0 a) (/ 1.0 b)) 2.0) PI) (/ (* (+ a b) (- b a)) 1.0))

simplify492.0ms

Counts
171 → 171
Iterations
IterNodes
done5000
1918
0311

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1.0 a) (/ 1.0 b))
0.2b
(* (* (* (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0)) (cbrt 1.0)) (cbrt 1.0)) (* (/ PI (- b a)) (cbrt 1.0)))
0.2b
(/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))
0.3b
(/ PI (- b a))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
86×add-exp-log
66×add-sqr-sqrt
57×times-frac
55×add-cbrt-cube
54×*-un-lft-identity
50×prod-exp cbrt-unprod
25×pow1
22×add-cube-cbrt
19×distribute-lft-out--
16×difference-of-squares
15×pow-prod-down associate-/l*
14×cbrt-undiv div-exp
9×associate-*l/
8×div-inv
6×associate-/r* add-log-exp
4×associate-/r/
3×flip3-- flip-- associate-/l/
2×clear-num frac-2neg frac-sub
1×frac-times sub-neg flip3-+ diff-log div-sub associate-*r* associate-*l* associate-*r/ *-commutative flip-+
Counts
4 → 153
Calls
4 calls:
20.0ms
(- (/ 1.0 a) (/ 1.0 b))
935.0ms
(* (* (* (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0)) (cbrt 1.0)) (cbrt 1.0)) (* (/ PI (- b a)) (cbrt 1.0)))
82.0ms
(/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))
17.0ms
(/ PI (- b a))

series439.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- (/ 1.0 a) (/ 1.0 b))
224.0ms
(* (* (* (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0)) (cbrt 1.0)) (cbrt 1.0)) (* (/ PI (- b a)) (cbrt 1.0)))
99.0ms
(/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))
71.0ms
(/ PI (- b a))

simplify1.6s

Counts
165 → 165
Iterations
IterNodes
done5002
23630
1796
0284

prune909.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 1.0 a) (/ 1.0 b))
0.2b
(/ (* (* PI (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))) (* (cbrt 1.0) (cbrt 1.0))) (/ (- b a) (cbrt 1.0)))
0.2b
(/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))
0.3b
(* PI (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0)))

rewrite492.0ms

Algorithm
rewrite-expression-head
Rules
158×times-frac
125×add-sqr-sqrt
111×add-exp-log
107×*-un-lft-identity
86×add-cbrt-cube
51×add-cube-cbrt
45×prod-exp cbrt-unprod
39×cbrt-undiv div-exp
35×associate-/r*
32×distribute-lft-out--
30×cbrt-prod
28×difference-of-squares
18×associate-*r*
13×div-inv associate-/l*
6×pow1 add-log-exp
5×associate-*l/ associate-/r/
4×associate-/l/
3×associate-*l*
2×clear-num frac-2neg flip3-+ flip3-- associate-*r/ frac-sub flip-+ flip--
1×sub-neg diff-log div-sub pow-prod-down *-commutative unswap-sqr
Counts
4 → 222
Calls
4 calls:
32.0ms
(- (/ 1.0 a) (/ 1.0 b))
209.0ms
(/ (* (* PI (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))) (* (cbrt 1.0) (cbrt 1.0))) (/ (- b a) (cbrt 1.0)))
80.0ms
(/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))
156.0ms
(* PI (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0)))

series553.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(- (/ 1.0 a) (/ 1.0 b))
249.0ms
(/ (* (* PI (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))) (* (cbrt 1.0) (cbrt 1.0))) (/ (- b a) (cbrt 1.0)))
99.0ms
(/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0))
147.0ms
(* PI (/ (- (/ 1.0 a) (/ 1.0 b)) (* (+ a b) 2.0)))

simplify659.0ms

Counts
234 → 234
Iterations
IterNodes
done5000
11353
0401

prune1.9s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* (* PI (/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0))) (* (cbrt 1.0) (cbrt 1.0))) (/ (- b a) (cbrt 1.0)))
0.2b
(/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0))
0.3b
(* PI (/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0)))
7.6b
(/ (* 1.0 (- b a)) (* b a))

rewrite471.0ms

Algorithm
rewrite-expression-head
Rules
475×add-exp-log
402×add-cbrt-cube
209×prod-exp cbrt-unprod
187×cbrt-undiv div-exp
108×times-frac
69×add-sqr-sqrt
67×*-un-lft-identity
43×add-cube-cbrt
36×associate-/r*
30×cbrt-prod
12×distribute-lft-out-- difference-of-squares
11×associate-*r*
9×div-inv
7×associate-/l*
6×pow1
5×associate-*l/ associate-/r/
4×associate-*r/ add-log-exp associate-/l/
3×clear-num frac-2neg associate-*l*
2×flip3-+ flip-+
1×flip3-- pow-prod-down *-commutative flip-- unswap-sqr
Counts
4 → 295
Calls
4 calls:
272.0ms
(/ (* (* PI (/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0))) (* (cbrt 1.0) (cbrt 1.0))) (/ (- b a) (cbrt 1.0)))
42.0ms
(/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0))
98.0ms
(* PI (/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0)))
28.0ms
(/ (* 1.0 (- b a)) (* b a))

series638.0ms

Counts
4 → 12
Calls
4 calls:
209.0ms
(/ (* (* PI (/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0))) (* (cbrt 1.0) (cbrt 1.0))) (/ (- b a) (cbrt 1.0)))
150.0ms
(/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0))
184.0ms
(* PI (/ (/ (* 1.0 (- b a)) (* b a)) (* (+ a b) 2.0)))
95.0ms
(/ (* 1.0 (- b a)) (* b a))

simplify869.0ms

Counts
307 → 307
Iterations
IterNodes
done5000
11950
0502

prune1.5s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

regimes130.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done24
124
018

end0.0ms

sample1.3s

Algorithm
intervals
Results
1.0s9545×body80valid