Details

Time bar (total: 57.8s)

sample98.0ms

Algorithm
intervals
Results
66.0ms459×body80valid

simplify186.0ms

Calls
1 calls:
Slowest
186.0ms
(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))

prune28.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma x y (* z t))
0.0b
(fma a b (fma x y (* z t)))
0.0b
(fma i c (fma a b (fma x y (* z t))))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Calls
3 calls:
Slowest
0.0ms
(fma x y (* z t))
0.0ms
(fma a b (fma x y (* z t)))
0.0ms
(fma i c (fma a b (fma x y (* z t))))

series516.0ms

Calls
3 calls:
Slowest
338.0ms
(fma i c (fma a b (fma x y (* z t))))
110.0ms
(fma a b (fma x y (* z t)))
68.0ms
(fma x y (* z t))

simplify184.0ms

Calls
9 calls:
Slowest
43.0ms
(+ (* a b) (+ (* t z) (* x y)))
38.0ms
(+ (* a b) (+ (* t z) (* x y)))
31.0ms
(+ (* a b) (+ (* t z) (* x y)))
29.0ms
(+ (* a b) (+ (* t z) (* x y)))
18.0ms
(+ (* t z) (* x y))

prune643.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma a b (fma t z (* x y)))
0.0b
(fma t z (* x y))
0.0b
(fma i c (fma a b (fma t z (* x y))))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef insert-posit16 log1p-expm1-u add-log-exp
Calls
3 calls:
Slowest
0.0ms
(fma a b (fma t z (* x y)))
0.0ms
(fma t z (* x y))
0.0ms
(fma i c (fma a b (fma t z (* x y))))

series435.0ms

Calls
3 calls:
Slowest
311.0ms
(fma i c (fma a b (fma t z (* x y))))
81.0ms
(fma a b (fma t z (* x y)))
42.0ms
(fma t z (* x y))

simplify191.0ms

Calls
9 calls:
Slowest
56.0ms
(+ (* a b) (+ (* t z) (* x y)))
38.0ms
(+ (* a b) (+ (* t z) (* x y)))
37.0ms
(+ (* a b) (+ (* t z) (* x y)))
32.0ms
(+ (* a b) (+ (* t z) (* x y)))
12.0ms
(+ (* t z) (* x y))

prune652.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize33.0ms

Local error

Found 4 expressions with local error:

41.6b
(cbrt (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))
0.2b
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
0.1b
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))
0.0b
(fma x y (* z t))

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
47×add-sqr-sqrt
39×associate-*l*
30×pow1
28×cbrt-prod
21×*-un-lft-identity add-cube-cbrt
15×associate-*r* unswap-sqr
11×add-cbrt-cube swap-sqr add-exp-log
9×*-commutative
7×pow-plus pow-prod-up
5×fma-udef
4×expm1-log1p-u pow3 pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×pow2 pow-sqr
2×distribute-rgt-in distribute-lft-in rem-cbrt-cube
1×pow1/3
Calls
4 calls:
Slowest
40.0ms
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))
16.0ms
(cbrt (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))
5.0ms
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
0.0ms
(fma x y (* z t))

series4.5s

Calls
4 calls:
Slowest
3.8s
(* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t))))
636.0ms
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
74.0ms
(cbrt (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))
46.0ms
(fma x y (* z t))

simplify18.3s

Calls
111 calls:
Slowest
1.3s
(* (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))
758.0ms
(* (sqrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))) (sqrt (fma a b (fma x y (* z t)))))
721.0ms
(sqrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))
718.0ms
(cbrt (* (sqrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))) (sqrt (fma a b (fma x y (* z t))))))
677.0ms
(cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))

prune2.6s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

31.6b
(cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))
0.6b
(cbrt (fma a b (fma x y (* z t))))
0.3b
(* (cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))) (cbrt (fma a b (fma x y (* z t)))))
0.2b
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
54×cbrt-prod
52×add-sqr-sqrt
27×associate-*l*
22×*-un-lft-identity add-cube-cbrt
17×unswap-sqr
15×associate-*r*
13×pow1
11×swap-sqr
10×add-cbrt-cube
8×add-exp-log
7×*-commutative
5×cbrt-unprod
4×expm1-log1p-u pow1/3 insert-posit16 log1p-expm1-u add-log-exp
3×pow-prod-down
2×pow3 prod-exp fma-udef
1×pow2 distribute-rgt-in distribute-lft-in pow-plus pow-sqr pow-prod-up
Calls
4 calls:
Slowest
21.0ms
(* (cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))) (cbrt (fma a b (fma x y (* z t)))))
17.0ms
(cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))
6.0ms
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
1.0ms
(cbrt (fma a b (fma x y (* z t))))

series1.2s

Calls
4 calls:
Slowest
625.0ms
(* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))
262.0ms
(cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))
180.0ms
(cbrt (fma a b (fma x y (* z t))))
99.0ms
(* (cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))) (cbrt (fma a b (fma x y (* z t)))))

simplify22.3s

Calls
109 calls:
Slowest
1.1s
(* (sqrt (cbrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))) (sqrt (cbrt (fma a b (fma x y (* z t))))))
961.0ms
(* (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))) (* (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))) (fma a b (fma x y (* z t)))))
866.0ms
(* (cbrt (sqrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))) (sqrt (cbrt (fma a b (fma x y (* z t))))))
813.0ms
(* (cbrt (sqrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t)))))) (cbrt (sqrt (fma a b (fma x y (* z t))))))
788.0ms
(cbrt (sqrt (* (fma a b (fma x y (* z t))) (fma a b (fma x y (* z t))))))

prune2.4s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes674.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
2.2s13819×body80valid