Details

Time bar (total: 26.9s)

sample80.0ms

Algorithm
intervals
Results
32.0ms286×body80nan
31.0ms256×body80valid

simplify3.1s

Counts
1 → 1
Iterations
IterNodes
62835
51829
4630
3199
289
134
016

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 3 expressions with local error:

1.0b
(* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))
1.0b
(/ 4 (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))))
1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
19×add-cbrt-cube add-exp-log
13×add-sqr-sqrt
10×pow1
9×*-un-lft-identity add-cube-cbrt
7×associate-*r* prod-exp cbrt-unprod
6×associate-*l*
4×pow-prod-down sqrt-prod
3×expm1-log1p-u cbrt-undiv times-frac div-exp insert-posit16 log1p-expm1-u associate-/l* add-log-exp
2×*-commutative unswap-sqr
1×clear-num associate-/r* frac-2neg div-inv
Counts
3 → 72
Calls
3 calls:
11.0ms
(* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))
15.0ms
(/ 4 (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))))
30.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

series968.0ms

Counts
3 → 9
Calls
3 calls:
215.0ms
(* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))
512.0ms
(/ 4 (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))))
241.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

simplify1.4s

Counts
81 → 81
Iterations
IterNodes
22411
1673
0242

prune865.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize38.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ 4 (cbrt (* (* (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))) (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))) (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))))))
1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

rewrite115.0ms

Algorithm
rewrite-expression-head
Rules
21×add-exp-log
20×add-cbrt-cube
19×pow1
16×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
9×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×cbrt-prod expm1-log1p-u associate-/r* insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r* *-commutative associate-/l*
1×cbrt-undiv clear-num frac-2neg div-exp div-inv
Counts
4 → 97
Calls
4 calls:
53.0ms
(/ 4 (cbrt (* (* (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))) (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))) (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))))))
16.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
16.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
29.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

series1.3s

Counts
4 → 12
Calls
4 calls:
524.0ms
(/ 4 (cbrt (* (* (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))) (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))) (* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2)))))))
264.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
283.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
221.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

simplify5.3s

Counts
109 → 109
Iterations
IterNodes
38432
21836
1548
0211

prune1.5s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize81.0ms

Local error

Found 4 expressions with local error:

1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
1.0b
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1 add-cbrt-cube add-exp-log
12×associate-*l* pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*r* *-commutative insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 84
Calls
4 calls:
31.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
30.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
17.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
23.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

series958.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
277.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
255.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))
205.0ms
(* PI (* (fma (* v v) -3 3) (sqrt (fma -6 (* v v) 2))))

simplify2.5s

Counts
96 → 96
Iterations
IterNodes
34480
2947
1266
093

prune1.5s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize94.0ms

Local error

Found 4 expressions with local error:

1.0b
(* (sqrt 2) 3)
1.0b
(fma (* (sqrt 2) 3) PI (fma 9 (/ (* (* v v) (* v v)) (/ (sqrt 2) PI)) (- (+ (fma (* (sqrt 2) 3) (* PI (* v v)) (/ (* (* (* v v) 9) PI) (sqrt 2))) (* 27/4 (/ (* (* v v) (* v v)) (/ (sqrt 2) PI)))))))
1.0b
(/ (sqrt 2) PI)
1.0b
(/ (sqrt 2) PI)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
37×*-un-lft-identity add-cube-cbrt
36×times-frac
28×sqrt-prod
12×associate-/l*
10×add-cbrt-cube add-exp-log
6×pow1 associate-/r* associate-*l*
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-*r*
2×cbrt-undiv clear-num frac-2neg div-exp div-inv unswap-sqr
1×pow-prod-down prod-exp *-commutative cbrt-unprod fma-udef
Counts
4 → 120
Calls
4 calls:
12.0ms
(* (sqrt 2) 3)
0.0ms
(fma (* (sqrt 2) 3) PI (fma 9 (/ (* (* v v) (* v v)) (/ (sqrt 2) PI)) (- (+ (fma (* (sqrt 2) 3) (* PI (* v v)) (/ (* (* (* v v) 9) PI) (sqrt 2))) (* 27/4 (/ (* (* v v) (* v v)) (/ (sqrt 2) PI)))))))
4.0ms
(/ (sqrt 2) PI)
5.0ms
(/ (sqrt 2) PI)

series459.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(* (sqrt 2) 3)
458.0ms
(fma (* (sqrt 2) 3) PI (fma 9 (/ (* (* v v) (* v v)) (/ (sqrt 2) PI)) (- (+ (fma (* (sqrt 2) 3) (* PI (* v v)) (/ (* (* (* v v) 9) PI) (sqrt 2))) (* 27/4 (/ (* (* v v) (* v v)) (/ (sqrt 2) PI)))))))
0.0ms
(/ (sqrt 2) PI)
0.0ms
(/ (sqrt 2) PI)

simplify1.3s

Counts
126 → 126
Iterations
IterNodes
32759
2790
1283
0143

prune2.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes71.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
223
123
019

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s8000×body80valid
1.1s7868×body80nan