Details

Time bar (total: 2.7m)

sample64.0ms

Algorithm
intervals
Results
28.0ms270×body80valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 2 (16.0ms)

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

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.4b

localize32.0ms

Local error

Found 3 expressions with local error:

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

rewrite64.0ms

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

series709.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(fma x y (* z (- t a)))
56.0ms
(* z (- t a))
565.0ms
(/ (fma x y (* z (- t a))) (fma z (- b y) y))

simplify952.0ms

Counts
94 → 94
Iterations

Useful iterations: done (948.0ms)

IterNodesCost
01631562
13371384
211021190
done50011164

prune539.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 19.9b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (- t a))
0.3b
(+ (* x y) (* z (- t a)))
19.8b
(/ (+ (* x y) (* z (- t a))) (fma z (- b y) y))

rewrite122.0ms

Algorithm
rewrite-expression-head
Rules
41×add-sqr-sqrt
39×*-un-lft-identity
37×add-cube-cbrt
36×prod-diff
22×distribute-rgt-in associate-+r+ distribute-lft-in
9×times-frac
7×add-exp-log add-cbrt-cube
5×pow1 associate-*r* add-log-exp
4×sub-neg
3×expm1-log1p-u associate-*l* associate-/r* log1p-expm1-u associate-/l*
2×flip3-+ associate-*r/ flip-+ associate-/l/
1×cbrt-undiv +-commutative flip3-- fma-def frac-2neg div-exp pow-prod-down prod-exp clear-num sum-log *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 113
Calls
3 calls:
46.0ms
(* z (- t a))
15.0ms
(+ (* x y) (* z (- t a)))
53.0ms
(/ (+ (* x y) (* z (- t a))) (fma z (- b y) y))

series720.0ms

Counts
3 → 9
Calls
3 calls:
74.0ms
(* z (- t a))
67.0ms
(+ (* x y) (* z (- t a)))
579.0ms
(/ (+ (* x y) (* z (- t a))) (fma z (- b y) y))

simplify1.4s

Counts
122 → 122
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01962092
14731751
217801515
done50001463

prune571.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 19.9b

localize64.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt a)
0.6b
(cbrt a)
19.8b
(/ (+ (fma y x (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (fma z (- b y) y))
59.5b
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
14×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
6×add-exp-log cbrt-prod add-cbrt-cube
4×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-/r* associate-/l*
2×pow1/3 associate-/l/
1×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+ fma-udef div-inv
Counts
4 → 67
Calls
4 calls:
2.0ms
(cbrt a)
2.0ms
(cbrt a)
42.0ms
(/ (+ (fma y x (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (fma z (- b y) y))
1.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

series2.5m

Counts
4 → 12
Calls
4 calls:
225.0ms
(cbrt a)
229.0ms
(cbrt a)
2.4m
(/ (+ (fma y x (* z (- t a))) (* z (fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a)))))) (fma z (- b y) y))
875.0ms
(fma (- (cbrt a)) (* (cbrt a) (cbrt a)) (* (cbrt a) (* (cbrt a) (cbrt a))))

simplify717.0ms

Counts
79 → 79
Iterations

Useful iterations: done (714.0ms)

IterNodesCost
01082045
12271779
28661107
done50011063

prune480.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 19.9b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- t a))
0.3b
(+ (* x y) (* z (- t a)))
1.0b
(/ 1 (fma z (- b y) y))
19.7b
(* (+ (* x y) (* z (- t a))) (/ 1 (fma z (- b y) y)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
57×add-sqr-sqrt
49×*-un-lft-identity
46×add-cube-cbrt
36×prod-diff
22×distribute-rgt-in associate-+r+ distribute-lft-in
20×times-frac
19×add-exp-log
18×associate-*r*
13×add-cbrt-cube
9×pow1
6×associate-*l* add-log-exp
5×prod-exp
4×expm1-log1p-u sub-neg div-exp log1p-expm1-u unswap-sqr
3×flip3-+ associate-*r/ associate-/r* cbrt-unprod flip-+ associate-/l*
2×cbrt-undiv frac-times rec-exp 1-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative flip3-- pow-flip fma-def frac-2neg clear-num sum-log un-div-inv flip-- distribute-lft-out-- inv-pow difference-of-squares
Counts
4 → 157
Calls
4 calls:
23.0ms
(* z (- t a))
13.0ms
(+ (* x y) (* z (- t a)))
8.0ms
(/ 1 (fma z (- b y) y))
44.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (fma z (- b y) y)))

series658.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* z (- t a))
61.0ms
(+ (* x y) (* z (- t a)))
85.0ms
(/ 1 (fma z (- b y) y))
465.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (fma z (- b y) y)))

simplify2.5s

Counts
169 → 169
Iterations

Useful iterations: done (2.5s)

IterNodesCost
02372753
15792269
232661955
done50001901

prune532.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 19.9b

regimes460.0ms

Accuracy

0% (0.6b remaining)

Error of 22.5b against oracle of 21.9b and baseline of 22.5b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01935
12335
done2335

end0.0ms

sample1.5s

Algorithm
intervals
Results
827.0ms8410×body80valid