Details

Time bar (total: 30.4s)

sample151.0ms

Algorithm
intervals
Results
65.0ms204×body80nan
58.0ms256×body80valid

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5000
3849
2162
146
019

prune23.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize66.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
0.0b
(/ (fma (* v v) -5 1) PI)
0.4b
(/ (/ (fma (* v v) -5 1) PI) t)
0.4b
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

rewrite118.0ms

Algorithm
rewrite-expression-head
Rules
486×times-frac
250×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
78×associate-/l*
46×associate-/l/
24×div-inv
20×add-cbrt-cube add-exp-log
18×associate-/r*
10×cbrt-undiv div-exp
6×clear-num frac-2neg
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
1×fma-udef
Counts
4 → 344
Calls
4 calls:
1.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
10.0ms
(/ (fma (* v v) -5 1) PI)
24.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
52.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

series1.3s

Counts
4 → 12
Calls
4 calls:
257.0ms
(fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))
136.0ms
(/ (fma (* v v) -5 1) PI)
123.0ms
(/ (/ (fma (* v v) -5 1) PI) t)
744.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) t) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))

simplify2.9s

Counts
356 → 356
Iterations
IterNodes
done5007
24120
11376
0597

prune2.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b
(* PI t)
0.4b
(/ (/ 1 PI) t)
0.4b
(/ (fma (/ (* v v) (* PI t)) -5 (/ (/ 1 PI) t)) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
6.3b
(/ (* v v) (* PI t))

rewrite106.0ms

Algorithm
rewrite-expression-head
Rules
264×times-frac
231×add-sqr-sqrt
171×*-un-lft-identity add-cube-cbrt
90×associate-*r* associate-*l*
39×swap-sqr
34×associate-/l*
30×*-commutative unswap-sqr
29×add-exp-log
25×add-cbrt-cube
21×associate-/r*
11×div-exp
9×associate-/l/
8×cbrt-undiv
7×div-inv
6×pow1
5×prod-exp cbrt-unprod
4×expm1-log1p-u clear-num frac-2neg insert-posit16 log1p-expm1-u add-log-exp
1×rec-exp 1-exp pow-prod-down
Counts
4 → 362
Calls
4 calls:
14.0ms
(* PI t)
25.0ms
(/ (/ 1 PI) t)
11.0ms
(/ (fma (/ (* v v) (* PI t)) -5 (/ (/ 1 PI) t)) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
41.0ms
(/ (* v v) (* PI t))

series804.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* PI t)
57.0ms
(/ (/ 1 PI) t)
652.0ms
(/ (fma (/ (* v v) (* PI t)) -5 (/ (/ 1 PI) t)) (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
61.0ms
(/ (* v v) (* PI t))

simplify2.3s

Counts
374 → 374
Iterations
IterNodes
done5001
11593
0554

prune2.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize40.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ 1 PI) t)
0.4b
(* (fma (/ (* v v) (* PI t)) -5 (/ (/ 1 PI) t)) (/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))
1.0b
(/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
6.3b
(/ (* v v) (* PI t))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
275×times-frac
244×add-sqr-sqrt
181×*-un-lft-identity
179×add-cube-cbrt
100×associate-*r*
90×associate-*l*
39×swap-sqr
38×add-exp-log associate-/l*
32×unswap-sqr
30×*-commutative
28×add-cbrt-cube
24×associate-/r*
14×div-exp
9×cbrt-undiv associate-*r/ associate-/l/
8×prod-exp div-inv
7×pow1
6×clear-num cbrt-unprod
5×frac-2neg
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×rec-exp 1-exp un-div-inv
1×pow-prod-down pow-flip inv-pow
Counts
4 → 394
Calls
4 calls:
13.0ms
(/ (/ 1 PI) t)
18.0ms
(* (fma (/ (* v v) (* PI t)) -5 (/ (/ 1 PI) t)) (/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))
5.0ms
(/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
44.0ms
(/ (* v v) (* PI t))

series1.1s

Counts
4 → 12
Calls
4 calls:
43.0ms
(/ (/ 1 PI) t)
618.0ms
(* (fma (/ (* v v) (* PI t)) -5 (/ (/ 1 PI) t)) (/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2)))))
420.0ms
(/ 1 (fma (sqrt (fma 6 (* (- v) v) 2)) (* (- v) v) (sqrt (fma 6 (* (- v) v) 2))))
65.0ms
(/ (* v v) (* PI t))

simplify1.9s

Counts
406 → 406
Iterations
IterNodes
done5003
11797
0620

prune2.6s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize129.0ms

Local error

Found 4 expressions with local error:

5.8b
(fma (/ 3 t) (/ (* v v) (* PI (* 2 (sqrt 2)))) (- (/ (* 27/2 (/ (* (* v v) (* v v)) t)) (* (pow (sqrt 2) 5) PI)) (fma 4 (* (/ (* v v) (* PI (sqrt 2))) (/ (* v v) t)) (fma (/ 4 (* PI (sqrt 2))) (/ (* v v) t) (* 12 (* (/ (* v v) (* PI (* 2 (sqrt 2)))) (/ (* v v) t)))))))
6.3b
(/ (* v v) t)
6.3b
(/ (* v v) t)
6.3b
(/ (* v v) t)

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
136×add-sqr-sqrt
135×times-frac
112×*-un-lft-identity add-cube-cbrt
45×associate-/l*
36×swap-sqr associate-*r* associate-*l*
19×add-cbrt-cube add-exp-log
12×*-commutative unswap-sqr
9×associate-/r*
6×cbrt-undiv div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg prod-exp cbrt-unprod div-inv
1×fma-udef
Counts
4 → 251
Calls
4 calls:
0.0ms
(fma (/ 3 t) (/ (* v v) (* PI (* 2 (sqrt 2)))) (- (/ (* 27/2 (/ (* (* v v) (* v v)) t)) (* (pow (sqrt 2) 5) PI)) (fma 4 (* (/ (* v v) (* PI (sqrt 2))) (/ (* v v) t)) (fma (/ 4 (* PI (sqrt 2))) (/ (* v v) t) (* 12 (* (/ (* v v) (* PI (* 2 (sqrt 2)))) (/ (* v v) t)))))))
19.0ms
(/ (* v v) t)
19.0ms
(/ (* v v) t)
44.0ms
(/ (* v v) t)

series1.7s

Counts
4 → 12
Calls
4 calls:
1.6s
(fma (/ 3 t) (/ (* v v) (* PI (* 2 (sqrt 2)))) (- (/ (* 27/2 (/ (* (* v v) (* v v)) t)) (* (pow (sqrt 2) 5) PI)) (fma 4 (* (/ (* v v) (* PI (sqrt 2))) (/ (* v v) t)) (fma (/ 4 (* PI (sqrt 2))) (/ (* v v) t) (* 12 (* (/ (* v v) (* PI (* 2 (sqrt 2)))) (/ (* v v) t)))))))
36.0ms
(/ (* v v) t)
31.0ms
(/ (* v v) t)
26.0ms
(/ (* v v) t)

simplify1.8s

Counts
263 → 263
Iterations
IterNodes
done5003
21499
1440
0175

prune2.5s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes139.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done24
124
019

end0.0ms

sample3.8s

Algorithm
intervals
Results
1.8s7789×body80nan
1.6s8000×body80valid