Details

Time bar (total: 1.3m)

sample83.0ms

Algorithm
intervals
Results
64.0ms306×body80valid

simplify2.5s

Counts
1 → 1
Iterations
IterNodes
54980
41403
3361
293
131
015

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
26×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
23×add-cbrt-cube add-exp-log
15×associate-/l*
12×associate-*l/ associate-/r/
9×cbrt-undiv div-exp
7×div-inv
6×flip3-+ flip-+
5×associate-/r*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod
1×fma-udef associate-/l/
Counts
4 → 122
Calls
4 calls:
0.0ms
(fma (/ PI (* (+ a b) 2)) (/ -1 b) (/ (/ PI (* (+ a b) 2)) a))
25.0ms
(/ (/ PI (* (+ a b) 2)) a)
18.0ms
(/ PI (* (+ a b) 2))
24.0ms
(/ PI (* (+ a b) 2))

series382.0ms

Counts
4 → 12
Calls
4 calls:
148.0ms
(fma (/ PI (* (+ a b) 2)) (/ -1 b) (/ (/ PI (* (+ a b) 2)) a))
84.0ms
(/ (/ PI (* (+ a b) 2)) a)
80.0ms
(/ PI (* (+ a b) 2))
70.0ms
(/ PI (* (+ a b) 2))

simplify2.9s

Counts
134 → 134
Iterations
IterNodes
36133
21258
1419
0176

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
2664×times-frac
1343×*-un-lft-identity
1073×add-sqr-sqrt add-cube-cbrt
135×distribute-lft-out
128×div-inv
113×associate-/r/
58×associate-/r*
53×add-exp-log
46×flip3-+ flip-+
35×add-cbrt-cube div-exp
24×associate-/l*
20×cbrt-undiv
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×rec-exp clear-num frac-2neg 1-exp
2×associate-*l/
1×prod-exp cbrt-unprod fma-udef associate-/l/
Counts
4 → 997
Calls
4 calls:
0.0ms
(fma (/ PI (* (+ a b) 2)) (/ -1 b) (/ (/ 1 (+ a b)) (/ a (/ PI 2))))
22.0ms
(/ (/ 1 (+ a b)) (/ a (/ PI 2)))
6.0ms
(/ a (/ PI 2))
21.0ms
(/ PI (* (+ a b) 2))

series380.0ms

Counts
4 → 12
Calls
4 calls:
156.0ms
(fma (/ PI (* (+ a b) 2)) (/ -1 b) (/ (/ 1 (+ a b)) (/ a (/ PI 2))))
88.0ms
(/ (/ 1 (+ a b)) (/ a (/ PI 2)))
58.0ms
(/ a (/ PI 2))
78.0ms
(/ PI (* (+ a b) 2))

simplify20.6s

Counts
1009 → 1009
Iterations
IterNodes
15035
01468

prune14.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize49.0ms

Local error

Found 4 expressions with local error:

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

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
62×add-exp-log
32×add-cbrt-cube
29×prod-exp
14×div-exp
13×add-sqr-sqrt
12×pow1
11×*-un-lft-identity add-cube-cbrt cbrt-unprod
9×times-frac associate-*r*
8×cbrt-undiv
6×rec-exp 1-exp associate-/r/ associate-/l*
5×associate-*r/
4×expm1-log1p-u pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×flip3-+ associate-*l* flip-+ div-inv pow-flip
2×clear-num associate-/r* frac-2neg associate-*l/
1×un-div-inv *-commutative fma-udef inv-pow unswap-sqr
Counts
4 → 116
Calls
4 calls:
0.0ms
(fma (/ PI (* (+ a b) 2)) (/ -1 b) (* PI (/ 1 (* (* a 2) (+ a b)))))
151.0ms
(* PI (/ 1 (* (* a 2) (+ a b))))
55.0ms
(/ 1 (* (* a 2) (+ a b)))
17.0ms
(/ PI (* (+ a b) 2))

series469.0ms

Counts
4 → 12
Calls
4 calls:
169.0ms
(fma (/ PI (* (+ a b) 2)) (/ -1 b) (* PI (/ 1 (* (* a 2) (+ a b)))))
116.0ms
(* PI (/ 1 (* (* a 2) (+ a b))))
90.0ms
(/ 1 (* (* a 2) (+ a b)))
93.0ms
(/ PI (* (+ a b) 2))

simplify8.2s

Counts
128 → 128
Iterations
IterNodes
310549
21926
1455
0179

prune1.5s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.1b

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
37×add-exp-log
29×add-sqr-sqrt
27×*-un-lft-identity add-cbrt-cube add-cube-cbrt
12×associate-*l/ prod-exp associate-/r/ associate-/l*
11×div-exp
9×cbrt-undiv associate-*r*
7×div-inv
6×pow1 flip3-+ cbrt-unprod flip-+
4×expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×associate-*l*
2×rec-exp clear-num frac-2neg 1-exp
1×pow-prod-down associate-*r/ un-div-inv *-commutative fma-udef unswap-sqr associate-/l/
Counts
4 → 133
Calls
4 calls:
0.0ms
(fma (* PI (/ 1 (* (+ a b) 2))) (/ -1 b) (/ (/ PI (* (+ a b) 2)) a))
16.0ms
(/ (/ PI (* (+ a b) 2)) a)
17.0ms
(/ PI (* (+ a b) 2))
49.0ms
(* PI (/ 1 (* (+ a b) 2)))

series392.0ms

Counts
4 → 12
Calls
4 calls:
166.0ms
(fma (* PI (/ 1 (* (+ a b) 2))) (/ -1 b) (/ (/ PI (* (+ a b) 2)) a))
109.0ms
(/ (/ PI (* (+ a b) 2)) a)
56.0ms
(/ PI (* (+ a b) 2))
61.0ms
(* PI (/ 1 (* (+ a b) 2)))

simplify18.7s

Counts
145 → 145
Iterations
IterNodes
311476
21960
1564
0232

prune1.6s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.1b

regimes195.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
219
119
017

end0.0ms

sample2.5s

Algorithm
intervals
Results
2.3s9607×body80valid