Details

Time bar (total: 17.4s)

sample50.0ms

Algorithm
intervals
Results
19.0ms269×body80valid

simplify3.3s

Counts
1 → 1
Iterations

Useful iterations: 2 (14.0ms)

IterNodesCost
01417
12416
24315
37515
412715
518215
621515
729115
860015
9174815
done500015

prune36.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 22.8b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma z (- b y) y)
0.0b
(* z (- t a))
0.0b
(fma x y (* z (- t a)))
22.2b
(/ (fma x y (* z (- t a))) (fma z (- b y) y))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
30×add-sqr-sqrt
28×*-un-lft-identity
26×add-cube-cbrt
18×prod-diff
11×distribute-rgt-in distribute-lft-in
9×times-frac
8×add-exp-log add-cbrt-cube
6×pow1
5×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l* associate-/r* associate-/l*
2×sub-neg associate-*r/ fma-udef
1×cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 95
Calls
4 calls:
0.0ms
(fma z (- b y) y)
24.0ms
(* z (- t a))
0.0ms
(fma x y (* z (- t a)))
6.0ms
(/ (fma x y (* z (- t a))) (fma z (- b y) y))

series647.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(fma z (- b y) y)
47.0ms
(* z (- t a))
63.0ms
(fma x y (* z (- t a)))
495.0ms
(/ (fma x y (* z (- t a))) (fma z (- b y) y))

simplify700.0ms

Counts
107 → 107
Iterations

Useful iterations: done (696.0ms)

IterNodesCost
01711678
13531497
211291287
done50011259

prune667.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 22.2b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.0b
(fma x y (* z (- t a)))
0.3b
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
22.1b
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

rewrite72.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
72×add-sqr-sqrt
70×*-un-lft-identity
68×add-cube-cbrt
19×add-exp-log
18×prod-diff
16×associate-/r*
13×add-cbrt-cube
11×distribute-rgt-in distribute-lft-in
8×div-exp
7×pow1
6×div-inv associate-/l*
5×associate-*r*
4×cbrt-undiv expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*l*
2×sub-neg rec-exp frac-2neg 1-exp associate-*r/ clear-num
1×flip3-- pow-flip pow-prod-down prod-exp associate-/r/ *-commutative flip-- cbrt-unprod fma-udef distribute-lft-out-- inv-pow difference-of-squares unswap-sqr
Counts
4 → 163
Calls
4 calls:
47.0ms
(* z (- t a))
0.0ms
(fma x y (* z (- t a)))
11.0ms
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
5.0ms
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

series1.1s

Counts
4 → 12
Calls
4 calls:
48.0ms
(* z (- t a))
85.0ms
(fma x y (* z (- t a)))
778.0ms
(/ 1 (/ (fma z (- b y) y) (fma x y (* z (- t a)))))
169.0ms
(/ (fma z (- b y) y) (fma x y (* z (- t a))))

simplify1.5s

Counts
175 → 175
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02643896
16023513
225023184
done50013080

prune875.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 9.3b

localize35.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma z (- b y) y)
0.3b
(fma z (- t a) (* x y))
0.3b
(/ (* (cbrt 1) (cbrt 1)) (/ (fma z (- b y) y) (fma z (- t a) (* x y))))
22.1b
(/ (fma z (- b y) y) (fma z (- t a) (* x y)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
26×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
18×add-exp-log
16×associate-/r*
14×add-cbrt-cube
7×cbrt-undiv div-exp
4×pow1 expm1-log1p-u log1p-expm1-u div-inv associate-/l* add-log-exp
2×frac-2neg prod-exp clear-num cbrt-unprod fma-udef
1×associate-/r/
Counts
4 → 97
Calls
4 calls:
0.0ms
(fma z (- b y) y)
0.0ms
(fma z (- t a) (* x y))
17.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ (fma z (- b y) y) (fma z (- t a) (* x y))))
6.0ms
(/ (fma z (- b y) y) (fma z (- t a) (* x y)))

series1.0s

Counts
4 → 12
Calls
4 calls:
36.0ms
(fma z (- b y) y)
74.0ms
(fma z (- t a) (* x y))
778.0ms
(/ (* (cbrt 1) (cbrt 1)) (/ (fma z (- b y) y) (fma z (- t a) (* x y))))
147.0ms
(/ (fma z (- b y) y) (fma z (- t a) (* x y)))

simplify1.7s

Counts
109 → 109
Iterations

Useful iterations: done (1.7s)

IterNodesCost
01472460
13722216
214851945
done50011876

prune831.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 9.3b

localize37.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- t a) z)
0.0b
(fma z (- b y) y)
0.0b
(fma x y (* (- t a) z))
22.2b
(/ (fma x y (* (- t a) z)) (fma z (- b y) y))

rewrite53.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
9×times-frac
8×add-exp-log add-cbrt-cube
6×pow1
5×associate-*l*
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* associate-/r* associate-/l*
2×associate-*l/ fma-udef
1×cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 73
Calls
4 calls:
38.0ms
(* (- t a) z)
1.0ms
(fma z (- b y) y)
1.0ms
(fma x y (* (- t a) z))
11.0ms
(/ (fma x y (* (- t a) z)) (fma z (- b y) y))

series624.0ms

Counts
4 → 12
Calls
4 calls:
60.0ms
(* (- t a) z)
38.0ms
(fma z (- b y) y)
73.0ms
(fma x y (* (- t a) z))
453.0ms
(/ (fma x y (* (- t a) z)) (fma z (- b y) y))

simplify732.0ms

Counts
85 → 85
Iterations

Useful iterations: 2 (161.0ms)

IterNodesCost
01191154
12321133
27851015
done50011015

prune636.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 9.3b

regimes1.0s

Accuracy

32.1% (8.8b remaining)

Error of 19.2b against oracle of 10.4b and baseline of 23.3b

bsearch157.0ms

Steps
ItersRangePoint
9
1.8395063584129262e+83
1.942118313543291e+89
1.3201406329171877e+89
8
-1.385057879274178e+134
-1.9978902384134198e+130
-4.62529910386796e+132

simplify9.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
02440
13332
23432
done3432

end0.0ms

sample1.5s

Algorithm
intervals
Results
882.0ms8413×body80valid