Details

Time bar (total: 33.9s)

sample30.0ms

Algorithm
intervals
Results
20.0ms325×body80valid

simplify1.7s

Counts
1 → 1
Iterations
IterNodes
done5002
41476
3358
294
132
015

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize36.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (/ PI (+ a b)) 2) b)
0.2b
(/ (/ (/ PI (+ a b)) 2) a)
0.2b
(/ PI (+ a b))
0.2b
(/ PI (+ a b))

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
1092×times-frac
644×*-un-lft-identity
484×add-sqr-sqrt add-cube-cbrt
122×associate-/l*
80×distribute-lft-out
52×associate-/r/
36×div-inv
26×flip3-+ add-cbrt-cube add-exp-log flip-+
14×cbrt-undiv associate-/r* div-exp
4×pow1 clear-num frac-2neg insert-posit16 add-log-exp
2×associate-/l/
Counts
4 → 574
Calls
4 calls:
30.0ms
(/ (/ (/ PI (+ a b)) 2) b)
31.0ms
(/ (/ (/ PI (+ a b)) 2) a)
8.0ms
(/ PI (+ a b))
9.0ms
(/ PI (+ a b))

series310.0ms

Counts
4 → 12
Calls
4 calls:
89.0ms
(/ (/ (/ PI (+ a b)) 2) b)
93.0ms
(/ (/ (/ PI (+ a b)) 2) a)
65.0ms
(/ PI (+ a b))
63.0ms
(/ PI (+ a b))

simplify2.8s

Counts
586 → 586
Iterations
IterNodes
done5000
24922
11841
0812

prune3.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (/ PI (+ a b)) 2) a)
0.2b
(/ PI (+ a b))
0.2b
(/ PI (+ a b))
0.7b
(/ 1 (/ b (/ (/ PI (+ a b)) 2)))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
2871×times-frac
1489×*-un-lft-identity
1185×add-sqr-sqrt add-cube-cbrt
190×associate-/r*
152×distribute-lft-out
105×associate-/r/
72×div-inv
67×associate-/l*
51×add-exp-log
50×flip3-+ flip-+
34×div-exp
31×add-cbrt-cube
18×cbrt-undiv
5×pow1
4×rec-exp clear-num frac-2neg 1-exp insert-posit16 add-log-exp
1×pow-flip inv-pow associate-/l/
Counts
4 → 1070
Calls
4 calls:
19.0ms
(/ (/ (/ PI (+ a b)) 2) a)
8.0ms
(/ PI (+ a b))
8.0ms
(/ PI (+ a b))
20.0ms
(/ 1 (/ b (/ (/ PI (+ a b)) 2)))

series357.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(/ (/ (/ PI (+ a b)) 2) a)
44.0ms
(/ PI (+ a b))
79.0ms
(/ PI (+ a b))
133.0ms
(/ 1 (/ b (/ (/ PI (+ a b)) 2)))

simplify6.3s

Counts
1082 → 1082
Iterations
IterNodes
done5004
14871
01708

prune6.4s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (/ PI (+ a b)) 2) b)
0.2b
(/ PI (+ a b))
0.2b
(/ PI (+ a b))
0.2b
(* (/ (/ PI (+ a b)) 2) (/ 1 a))

rewrite101.0ms

Algorithm
rewrite-expression-head
Rules
672×times-frac
412×*-un-lft-identity
333×add-sqr-sqrt
303×add-cube-cbrt
64×associate-/l*
58×associate-*l*
56×add-exp-log
53×distribute-lft-out
38×add-cbrt-cube
34×associate-/r/
26×div-exp
24×div-inv
17×cbrt-undiv flip3-+ flip-+
13×associate-*r*
12×prod-exp
11×associate-/r*
9×unswap-sqr
6×pow1 cbrt-unprod
4×insert-posit16 add-log-exp
3×rec-exp clear-num frac-2neg 1-exp
1×frac-times pow-prod-down associate-*l/ associate-*r/ un-div-inv *-commutative associate-/l/
Counts
4 → 433
Calls
4 calls:
17.0ms
(/ (/ (/ PI (+ a b)) 2) b)
11.0ms
(/ PI (+ a b))
16.0ms
(/ PI (+ a b))
36.0ms
(* (/ (/ PI (+ a b)) 2) (/ 1 a))

series303.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(/ (/ (/ PI (+ a b)) 2) b)
72.0ms
(/ PI (+ a b))
81.0ms
(/ PI (+ a b))
79.0ms
(* (/ (/ PI (+ a b)) 2) (/ 1 a))

simplify1.7s

Counts
445 → 445
Iterations
IterNodes
done5000
11674
0639

prune2.7s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (* PI (/ 1 (+ a b))) 2) b)
0.2b
(/ (/ (/ PI (+ a b)) 2) a)
0.2b
(/ PI (+ a b))
0.3b
(* PI (/ 1 (+ a b)))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
593×times-frac
356×*-un-lft-identity
276×add-sqr-sqrt
269×add-cube-cbrt
68×associate-/l*
46×add-exp-log
43×distribute-lft-out
34×add-cbrt-cube
28×associate-/r/
24×div-inv
22×div-exp
18×associate-*r*
16×cbrt-undiv
14×flip3-+ flip-+
10×associate-/r*
8×prod-exp
6×pow1
4×cbrt-unprod insert-posit16 add-log-exp
3×clear-num frac-2neg associate-*l* unswap-sqr
2×rec-exp 1-exp associate-/l/
1×pow-prod-down associate-*r/ un-div-inv *-commutative
Counts
4 → 382
Calls
4 calls:
32.0ms
(/ (/ (* PI (/ 1 (+ a b))) 2) b)
37.0ms
(/ (/ (/ PI (+ a b)) 2) a)
16.0ms
(/ PI (+ a b))
45.0ms
(* PI (/ 1 (+ a b)))

series350.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(/ (/ (* PI (/ 1 (+ a b))) 2) b)
118.0ms
(/ (/ (/ PI (+ a b)) 2) a)
61.0ms
(/ PI (+ a b))
57.0ms
(* PI (/ 1 (+ a b)))

simplify2.5s

Counts
394 → 394
Iterations
IterNodes
done5343
24221
11543
0660

prune2.4s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes184.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify9.0ms

Iterations
IterNodes
done26
326
224
122
015

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.4s9595×body80valid