Details

Time bar (total: 19.4s)

sample22.0ms

Algorithm
intervals
Results
12.0ms310×body80valid

simplify87.0ms

Counts
1 → 1
Iterations
IterNodes
done114
9114
8111
7105
691
579
462
341
225
115
010

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.3b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ t (- 1.0 z))
5.3b
(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite363.0ms

Algorithm
rewrite-expression-head
Rules
791×times-frac
720×add-sqr-sqrt
717×*-un-lft-identity
546×prod-diff
542×add-cube-cbrt
275×distribute-rgt-in distribute-lft-in
86×distribute-lft-out-- difference-of-squares
69×div-inv
54×associate-/r/
28×flip3-- flip--
10×associate-*r*
6×add-cbrt-cube add-exp-log
5×associate-/r*
4×pow1
3×associate-*l* associate-*r/ associate-/l*
2×expm1-log1p-u sub-neg insert-posit16 log1p-expm1-u add-log-exp
1×cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative frac-sub cbrt-unprod unswap-sqr
Counts
2 → 621
Calls
2 calls:
11.0ms
(/ t (- 1.0 z))
255.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

series127.0ms

Counts
2 → 6
Calls
2 calls:
46.0ms
(/ t (- 1.0 z))
81.0ms
(* x (- (/ y z) (/ t (- 1.0 z))))

simplify4.4s

Counts
627 → 627
Iterations
IterNodes
done5000
24398
11734
0994

prune3.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 1 (- 1.0 z)) t)
0.1b
(fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t)))
5.3b
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
25.0b
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
24×associate-*l*
23×*-un-lft-identity
17×times-frac
16×add-cube-cbrt
15×add-exp-log
11×add-cbrt-cube
8×pow1
6×associate-*r*
5×prod-exp
4×expm1-log1p-u fma-udef insert-posit16 log1p-expm1-u add-log-exp unswap-sqr
3×cbrt-unprod distribute-lft-out-- difference-of-squares
2×div-exp pow-prod-down associate-/r/ *-commutative
1×distribute-rgt-in cbrt-undiv rec-exp distribute-lft-in flip3-- 1-exp associate-*l/ div-inv flip--
Counts
4 → 91
Calls
4 calls:
60.0ms
(* (/ 1 (- 1.0 z)) t)
0.0ms
(fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t)))
14.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
1.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

series316.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (/ 1 (- 1.0 z)) t)
80.0ms
(fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t)))
97.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
97.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

simplify2.3s

Counts
103 → 103
Iterations
IterNodes
done5000
34049
21165
1420
0179

prune671.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize84.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
5.3b
(* x (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (/ t (- 1.0 z))))

rewrite460.0ms

Algorithm
rewrite-expression-head
Rules
42×prod-diff
41×add-sqr-sqrt
39×*-un-lft-identity
30×times-frac
27×add-cube-cbrt
23×distribute-rgt-in distribute-lft-in
14×associate-*r/
9×cbrt-prod
7×frac-sub
6×pow1 add-cbrt-cube add-exp-log distribute-lft-out-- difference-of-squares
5×frac-times
4×expm1-log1p-u associate-/r/ insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- pow1/3 associate-*r* associate-*l* associate-*l/ flip--
2×sub-neg div-inv
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 118
Calls
4 calls:
2.0ms
(cbrt z)
2.0ms
(cbrt z)
2.0ms
(cbrt z)
447.0ms
(* x (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (/ t (- 1.0 z))))

series819.0ms

Counts
4 → 12
Calls
4 calls:
223.0ms
(cbrt z)
244.0ms
(cbrt z)
259.0ms
(cbrt z)
91.0ms
(* x (- (* (/ (cbrt y) (cbrt z)) (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (cbrt z)))) (/ t (- 1.0 z))))

simplify2.0s

Counts
130 → 130
Iterations
IterNodes
done5002
22331
1812
0334

prune552.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

5.3b
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
5.3b
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
5.3b
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
25.0b
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
9×associate-*r* associate-*l*
7×fma-udef
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 80
Calls
4 calls:
7.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
7.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
13.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
0.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

series262.0ms

Counts
4 → 12
Calls
4 calls:
64.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
62.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
60.0ms
(* x (fma y (/ 1 z) (- (* (/ 1 (- 1.0 z)) t))))
75.0ms
(fma (- (/ 1 (- 1.0 z))) t (* (/ 1 (- 1.0 z)) t))

simplify1.7s

Counts
92 → 92
Iterations
IterNodes
done5004
32246
2414
1150
071

prune638.0ms

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 0.0b

regimes438.0ms

Accuracy

68.4% (1.4b remaining)

Error of 1.5b against oracle of 0.1b and baseline of 4.6b

bsearch2.0ms

simplify12.0ms

Iterations
IterNodes
done46
246
144
028

end0.0ms

sample886.0ms

Algorithm
intervals
Results
644.0ms10115×body80valid