Details

Time bar (total: 34.4s)

sample99.0ms

Algorithm
intervals
Results
83.0ms325×body80valid

simplify1.6s

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

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize33.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))

rewrite95.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:
27.0ms
(/ (/ (/ PI (+ a b)) 2) b)
37.0ms
(/ (/ (/ PI (+ a b)) 2) a)
8.0ms
(/ PI (+ a b))
9.0ms
(/ PI (+ a b))

series306.0ms

Counts
4 → 12
Calls
4 calls:
75.0ms
(/ (/ (/ PI (+ a b)) 2) b)
108.0ms
(/ (/ (/ PI (+ a b)) 2) a)
56.0ms
(/ PI (+ a b))
67.0ms
(/ PI (+ a b))

simplify3.0s

Counts
586 → 586
Iterations
IterNodes
done5000
24922
11841
0812

prune3.4s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize31.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)))

rewrite172.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:
35.0ms
(/ (/ (/ PI (+ a b)) 2) a)
15.0ms
(/ PI (+ a b))
23.0ms
(/ PI (+ a b))
34.0ms
(/ 1 (/ b (/ (/ PI (+ a b)) 2)))

series310.0ms

Counts
4 → 12
Calls
4 calls:
80.0ms
(/ (/ (/ PI (+ a b)) 2) a)
75.0ms
(/ PI (+ a b))
66.0ms
(/ PI (+ a b))
88.0ms
(/ 1 (/ b (/ (/ PI (+ a b)) 2)))

simplify5.9s

Counts
1082 → 1082
Iterations
IterNodes
done5004
14871
01708

prune7.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize39.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))

rewrite114.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:
19.0ms
(/ (/ (/ PI (+ a b)) 2) b)
7.0ms
(/ PI (+ a b))
16.0ms
(/ PI (+ a b))
53.0ms
(* (/ (/ PI (+ a b)) 2) (/ 1 a))

series302.0ms

Counts
4 → 12
Calls
4 calls:
82.0ms
(/ (/ (/ PI (+ a b)) 2) b)
61.0ms
(/ PI (+ a b))
62.0ms
(/ PI (+ a b))
96.0ms
(* (/ (/ PI (+ a b)) 2) (/ 1 a))

simplify1.7s

Counts
445 → 445
Iterations
IterNodes
done5000
11674
0639

prune2.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize53.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)))

rewrite94.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:
17.0ms
(/ (/ (* PI (/ 1 (+ a b))) 2) b)
21.0ms
(/ (/ (/ PI (+ a b)) 2) a)
15.0ms
(/ PI (+ a b))
32.0ms
(* PI (/ 1 (+ a b)))

series286.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(/ (/ (* PI (/ 1 (+ a b))) 2) b)
72.0ms
(/ (/ (/ PI (+ a b)) 2) a)
69.0ms
(/ PI (+ a b))
72.0ms
(* PI (/ 1 (+ a b)))

simplify2.6s

Counts
394 → 394
Iterations
IterNodes
done5343
24221
11543
0660

prune2.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

regimes212.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done26
326
224
122
015

end0.0ms

sample2.4s

Algorithm
intervals
Results
2.2s9595×body80valid