Details

Time bar (total: 5.3s)

sample79.0ms

Algorithm
intervals
Results
33.0ms283×body80valid

simplify72.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (10.0ms)

IterNodesCost
06211
113211
237710
3110510
4359910
5500110
done500110

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 31.2b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma (fma z 3.13060547623 11.1667541262) z t)
0.1b
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
1.8b
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
30.9b
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* fma-udef associate-/l*
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 59
Calls
4 calls:
0.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
0.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
5.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
0.0ms
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series936.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(fma (fma z 3.13060547623 11.1667541262) z t)
41.0ms
(fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721)
117.0ms
(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
749.0ms
(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify103.0ms

Counts
71 → 71
Iterations

Useful iterations: 3 (96.0ms)

IterNodesCost
0270563
1830501
23551493
35002491
done5002491

prune413.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 3.13060547623 (/ t (pow z 2)))
3.1b
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
7.8b
(/ t (pow z 2))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
24×times-frac
23×*-un-lft-identity
21×add-sqr-sqrt add-cube-cbrt
12×unpow-prod-down
8×add-exp-log associate-/r*
5×add-cbrt-cube add-log-exp
4×unpow2 sqr-pow
3×pow1 expm1-log1p-u fma-def div-exp log1p-expm1-u associate-/l*
1×cbrt-undiv +-commutative pow-to-exp frac-2neg flip3-+ pow-exp clear-num sum-log flip-+ fma-udef div-inv distribute-lft-out
Counts
3 → 78
Calls
3 calls:
22.0ms
(+ 3.13060547623 (/ t (pow z 2)))
0.0ms
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
7.0ms
(/ t (pow z 2))

series109.0ms

Counts
3 → 9
Calls
3 calls:
33.0ms
(+ 3.13060547623 (/ t (pow z 2)))
53.0ms
(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
23.0ms
(/ t (pow z 2))

simplify138.0ms

Counts
87 → 87
Iterations

Useful iterations: 3 (132.0ms)

IterNodesCost
0255414
1847369
24454360
35001359
done5001359

prune248.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.3b

localize15.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2))))
0.1b
(/ (/ t z) (pow z (/ 2 2)))
3.1b
(fma y (+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2)))) x)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
163×times-frac
90×*-un-lft-identity
88×add-sqr-sqrt add-cube-cbrt
42×unpow-prod-down
16×add-exp-log
14×sqr-pow
13×associate-/l*
9×div-exp div-inv
8×add-cbrt-cube
7×associate-/r*
5×add-log-exp
3×pow1 cbrt-undiv expm1-log1p-u fma-def log1p-expm1-u
2×pow-to-exp pow-exp
1×+-commutative frac-2neg flip3-+ clear-num sum-log flip-+ fma-udef associate-/l/ distribute-lft-out
Counts
3 → 159
Calls
3 calls:
42.0ms
(+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2))))
14.0ms
(/ (/ t z) (pow z (/ 2 2)))
0.0ms
(fma y (+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2)))) x)

series113.0ms

Counts
3 → 9
Calls
3 calls:
35.0ms
(+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2))))
23.0ms
(/ (/ t z) (pow z (/ 2 2)))
55.0ms
(fma y (+ 3.13060547623 (/ (/ t z) (pow z (/ 2 2)))) x)

simplify65.0ms

Counts
168 → 168
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
06551109
12543970
25002964
done5002964

prune340.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 3.13060547623 (/ (/ 1 1) (* (/ z t) z)))
0.1b
(* (/ z t) z)
0.5b
(/ (/ 1 1) (* (/ z t) z))
3.1b
(fma y (+ 3.13060547623 (/ (/ 1 1) (* (/ z t) z))) x)

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
69×add-exp-log
41×times-frac div-exp
32×add-sqr-sqrt
30×add-cbrt-cube
29×*-un-lft-identity
27×add-cube-cbrt
16×prod-exp
15×1-exp
13×associate-*l* associate-/l*
12×cbrt-undiv
6×pow1 rec-exp cbrt-unprod add-log-exp
4×expm1-log1p-u log1p-expm1-u div-inv
3×fma-def associate-*r*
2×associate-*l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ pow-prod-down clear-num associate-/r* sum-log associate-/r/ *-commutative flip-+ fma-udef associate-/l/ distribute-lft-out
Counts
4 → 129
Calls
4 calls:
17.0ms
(+ 3.13060547623 (/ (/ 1 1) (* (/ z t) z)))
14.0ms
(* (/ z t) z)
21.0ms
(/ (/ 1 1) (* (/ z t) z))
0.0ms
(fma y (+ 3.13060547623 (/ (/ 1 1) (* (/ z t) z))) x)

series107.0ms

Counts
4 → 12
Calls
4 calls:
18.0ms
(+ 3.13060547623 (/ (/ 1 1) (* (/ z t) z)))
18.0ms
(* (/ z t) z)
18.0ms
(/ (/ 1 1) (* (/ z t) z))
53.0ms
(fma y (+ 3.13060547623 (/ (/ 1 1) (* (/ z t) z))) x)

simplify50.0ms

Counts
141 → 141
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
0571661
12782528
25001522
done5001522

prune274.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 0.3b

regimes820.0ms

Accuracy

97.1% (0.8b remaining)

Error of 1.1b against oracle of 0.3b and baseline of 26.7b

bsearch179.0ms

Steps
ItersRangePoint
6
6.026489331186427e+34
2.505193159388646e+35
2.2648884191746823e+35
7
-1.836344030007439e+19
-1.8070707071506563e+17
-1.6178886472109744e+19

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04517
14717
24717
done4717

end0.0ms

sample995.0ms

Algorithm
intervals
Results
556.0ms8863×body80valid