Details

Time bar (total: 26.4s)

sample205.0ms

Algorithm
intervals
Results
96.0ms573×body80valid

simplify1.8s

Counts
1 → 1
Iterations
IterNodes
done5000
41194
3333
2110
147
023

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.5b

localize49.0ms

Local error

Found 4 expressions with local error:

0.3b
(fma (- a) t (* z y))
4.1b
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
4.1b
(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
6.3b
(* (fma (- a) t (* z y)) x)

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×associate-*r* associate-*l* fma-udef
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 50
Calls
4 calls:
0.0ms
(fma (- a) t (* z y))
1.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
1.0ms
(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
19.0ms
(* (fma (- a) t (* z y)) x)

series1.4s

Counts
4 → 12
Calls
4 calls:
85.0ms
(fma (- a) t (* z y))
909.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x)))
294.0ms
(fma b (fma i t (- (* z c))) (* (fma (- a) t (* z y)) x))
93.0ms
(* (fma (- a) t (* z y)) x)

simplify2.1s

Counts
62 → 62
Iterations
IterNodes
done5000
32886
2452
1172
090

prune925.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 7.4b

localize86.0ms

Local error

Found 4 expressions with local error:

4.1b
(fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (- (* z y) (* a t))))))
7.9b
(cbrt (- (* z y) (* a t)))
7.9b
(cbrt (fma (- a) t (* z y)))
7.9b
(cbrt (fma (- a) t (* z y)))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log log1p-expm1-u add-log-exp
3×pow1/3
2×cbrt-div
1×flip3-- fma-udef flip--
Counts
4 → 51
Calls
4 calls:
0.0ms
(fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (- (* z y) (* a t))))))
8.0ms
(cbrt (- (* z y) (* a t)))
1.0ms
(cbrt (fma (- a) t (* z y)))
1.0ms
(cbrt (fma (- a) t (* z y)))

series973.0ms

Counts
4 → 12
Calls
4 calls:
320.0ms
(fma b (fma i t (- (* z c))) (* (* (cbrt (fma (- a) t (* z y))) (cbrt (fma (- a) t (* z y)))) (* x (cbrt (- (* z y) (* a t))))))
199.0ms
(cbrt (- (* z y) (* a t)))
214.0ms
(cbrt (fma (- a) t (* z y)))
239.0ms
(cbrt (fma (- a) t (* z y)))

simplify1.4s

Counts
63 → 63
Iterations
IterNodes
done5002
33355
2902
1338
0143

prune1.2s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 7.4b

localize70.0ms

Local error

Found 4 expressions with local error:

1.9b
(* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x))
4.1b
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x))))
4.1b
(fma b (fma i t (- (* z c))) (* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x)))
4.7b
(* (* (cbrt x) (cbrt x)) (- (* z y) (* a t)))

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log
11×add-cbrt-cube
9×associate-*r* pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u associate-*r/ log1p-expm1-u add-log-exp
3×cbrt-prod distribute-rgt-in distribute-lft-in
2×sub-neg flip3-- associate-*l* prod-diff associate-*l/ *-commutative fma-udef flip--
1×unswap-sqr
Counts
4 → 77
Calls
4 calls:
109.0ms
(* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x))
0.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x))))
0.0ms
(fma b (fma i t (- (* z c))) (* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x)))
46.0ms
(* (* (cbrt x) (cbrt x)) (- (* z y) (* a t)))

series1.8s

Counts
4 → 12
Calls
4 calls:
168.0ms
(* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x))
772.0ms
(fma (- (* a c) (* y i)) j (fma b (fma i t (- (* z c))) (* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x))))
339.0ms
(fma b (fma i t (- (* z c))) (* (* (* (cbrt x) (cbrt x)) (- (* z y) (* a t))) (cbrt x)))
550.0ms
(* (* (cbrt x) (cbrt x)) (- (* z y) (* a t)))

simplify1.6s

Counts
89 → 89
Iterations
IterNodes
done5001
22568
1437
0159

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.7b

localize149.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a)))
5.5b
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))
5.5b
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))
5.5b
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log
7×add-cbrt-cube
6×add-sqr-sqrt
5×*-un-lft-identity add-cube-cbrt
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
2×fma-udef
1×distribute-rgt-in distribute-lft-in associate-*l* *-commutative unswap-sqr
Counts
4 → 56
Calls
4 calls:
20.0ms
(* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a)))
19.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))
30.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))
15.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))

series1.7s

Counts
4 → 12
Calls
4 calls:
496.0ms
(* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a)))
394.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))
373.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))
407.0ms
(cbrt (* (* (cbrt x) (cbrt x)) (fma y z (* (- t) a))))

simplify675.0ms

Counts
68 → 68
Iterations
IterNodes
done5001
21190
1268
0104

prune923.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.7b

regimes2.2s

Accuracy

7.1% (7.0b remaining)

Error of 12.0b against oracle of 5.0b and baseline of 12.5b

bsearch445.0ms

Steps
ItersRangePoint
10
1.8382181188222833e+118
9.475941239810086e+130
5.224383058243163e+120
6
2.457725788407124e-101
2.68737249548838e-100
2.496294686670284e-101
9
-7.94161223330761e+106
-6.608437602552955e+100
-4.782074615948475e+103

simplify8.0ms

Iterations
IterNodes
done82
282
174
051

end0.0ms

sample5.2s

Algorithm
intervals
Results
3.3s19221×body80valid