Details

Time bar (total: 3.8s)

sample40.0ms

Algorithm
intervals
Results
16.0ms397×body80valid

simplify29.0ms

Counts
1 → 1
Iterations

Useful iterations: 5 (23.0ms)

IterNodesCost
0267
1684
21404
32004
42144
52173
62173
done2173

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 1 expressions with local error:

2.9b
(fma (fma a b y) z (fma a t x))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (fma a b y) z (fma a t x))

series107.0ms

Counts
1 → 3
Calls
1 calls:
107.0ms
(fma (fma a b y) z (fma a t x))

simplify67.0ms

Counts
13 → 13
Iterations

Useful iterations: 2 (9.0ms)

IterNodesCost
04458
19351
230749
3203249
4500249
done500249

prune49.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
0.0b
(+ x (* y z))
0.0b
(+ (+ x (* y z)) (* t a))
6.2b
(* (* a z) b)

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
10×sum-log
9×pow1 add-exp-log fma-def add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u
3×+-commutative flip3-+ associate-*r* pow-prod-down prod-exp cbrt-unprod flip-+
2×associate-+l+
1×associate-*l* *-commutative
Counts
4 → 73
Calls
4 calls:
95.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
8.0ms
(+ x (* y z))
24.0ms
(+ (+ x (* y z)) (* t a))
17.0ms
(* (* a z) b)

series213.0ms

Counts
4 → 12
Calls
4 calls:
100.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
28.0ms
(+ x (* y z))
56.0ms
(+ (+ x (* y z)) (* t a))
29.0ms
(* (* a z) b)

simplify65.0ms

Counts
85 → 85
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
0358405
11787339
25001330
done5001330

prune265.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
0.0b
(+ x (* y z))
0.0b
(+ (+ x (* y z)) (* t a))
5.3b
(* a (* z b))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
10×sum-log
9×pow1 add-exp-log fma-def add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u
3×+-commutative flip3-+ associate-*l* pow-prod-down prod-exp cbrt-unprod flip-+
2×associate-+l+
1×associate-*r* *-commutative
Counts
4 → 73
Calls
4 calls:
96.0ms
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
6.0ms
(+ x (* y z))
27.0ms
(+ (+ x (* y z)) (* t a))
17.0ms
(* a (* z b))

series214.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
28.0ms
(+ x (* y z))
53.0ms
(+ (+ x (* y z)) (* t a))
32.0ms
(* a (* z b))

simplify59.0ms

Counts
85 → 85
Iterations

Useful iterations: 2 (53.0ms)

IterNodesCost
0346404
11564338
25001329
done5001329

prune254.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ x (* y z)))
0.6b
(cbrt (+ x (* y z)))
0.6b
(cbrt (+ x (* y z)))
5.3b
(* a (* z b))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log cbrt-prod add-cbrt-cube
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×cbrt-div
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×flip3-+ pow1/3 associate-*l* pow-prod-down prod-exp cbrt-unprod flip-+
1×associate-*r* *-commutative
Counts
4 → 65
Calls
4 calls:
3.0ms
(cbrt (+ x (* y z)))
3.0ms
(cbrt (+ x (* y z)))
3.0ms
(cbrt (+ x (* y z)))
16.0ms
(* a (* z b))

series418.0ms

Counts
4 → 12
Calls
4 calls:
133.0ms
(cbrt (+ x (* y z)))
126.0ms
(cbrt (+ x (* y z)))
126.0ms
(cbrt (+ x (* y z)))
33.0ms
(* a (* z b))

simplify91.0ms

Counts
77 → 77
Iterations

Useful iterations: 3 (85.0ms)

IterNodesCost
0262459
1792420
22866399
35001369
done5001369

prune318.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

regimes181.0ms

Accuracy

91.8% (0.3b remaining)

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

bsearch95.0ms

Steps
ItersRangePoint
8
2.021382182041235e-70
3.602378963272577e-66
5.979029897606914e-67
9
-1.2248882134951268e+28
-1.5727025611791136e+21
-7.827307777042338e+22

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0258
1258
done258

end0.0ms

sample973.0ms

Algorithm
intervals
Results
410.0ms11780×body80valid