Details

Time bar (total: 12.4s)

sample61.0ms

Algorithm
intervals
Results
24.0ms374×body80valid

simplify249.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (89.0ms)

IterNodesCost
01315
12615
26712
313811
420110
524410
624710
done24710

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize31.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.5b
(* (* a z) b)

rewrite237.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:
160.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
10.0ms
(+ x (* y z))
39.0ms
(+ (+ x (* y z)) (* t a))
26.0ms
(* (* a z) b)

series308.0ms

Counts
4 → 12
Calls
4 calls:
140.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
45.0ms
(+ x (* y z))
80.0ms
(+ (+ x (* y z)) (* t a))
43.0ms
(* (* a z) b)

simplify2.1s

Counts
85 → 85
Iterations

Useful iterations: done (2.1s)

IterNodesCost
0123930
1367781
22392697
done5000662

prune575.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

6.5b
(* (* a z) b)
14.1b
(cbrt (* (* a z) b))
14.1b
(cbrt (* (* a z) b))
14.1b
(cbrt (* (* a z) b))

rewrite102.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 53
Calls
4 calls:
38.0ms
(* (* a z) b)
21.0ms
(cbrt (* (* a z) b))
20.0ms
(cbrt (* (* a z) b))
21.0ms
(cbrt (* (* a z) b))

series499.0ms

Counts
4 → 12
Calls
4 calls:
46.0ms
(* (* a z) b)
142.0ms
(cbrt (* (* a z) b))
142.0ms
(cbrt (* (* a z) b))
169.0ms
(cbrt (* (* a z) b))

simplify732.0ms

Counts
65 → 65
Iterations

Useful iterations: done (729.0ms)

IterNodesCost
080579
1190559
2922485
done5000473

prune587.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize53.0ms

Local error

Found 4 expressions with local error:

6.5b
(* (* a z) b)
14.1b
(cbrt (* (* a z) b))
14.1b
(cbrt (* (* a z) b))
14.4b
(cbrt (* a z))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
9×pow1 add-exp-log add-cbrt-cube
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod pow1/3 associate-*r* pow-prod-down prod-exp cbrt-unprod
1×associate-*l* *-commutative
Counts
4 → 53
Calls
4 calls:
31.0ms
(* (* a z) b)
20.0ms
(cbrt (* (* a z) b))
19.0ms
(cbrt (* (* a z) b))
5.0ms
(cbrt (* a z))

series411.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(* (* a z) b)
136.0ms
(cbrt (* (* a z) b))
136.0ms
(cbrt (* (* a z) b))
97.0ms
(cbrt (* a z))

simplify724.0ms

Counts
65 → 65
Iterations

Useful iterations: done (722.0ms)

IterNodesCost
098537
1228519
21035452
done5000437

prune614.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma z y (fma (fma z b t) a x))
3.1b
(fma (fma z b t) a x)

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
2×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
2 → 20
Calls
2 calls:
1.0ms
(fma z y (fma (fma z b t) a x))
1.0ms
(fma (fma z b t) a x)

series262.0ms

Counts
2 → 6
Calls
2 calls:
151.0ms
(fma z y (fma (fma z b t) a x))
110.0ms
(fma (fma z b t) a x)

simplify1.1s

Counts
26 → 26
Iterations

Useful iterations: 3 (102.0ms)

IterNodesCost
037287
160281
2139239
3778237
done5000237

prune188.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

regimes745.0ms

Accuracy

86.1% (0.3b remaining)

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

bsearch148.0ms

Steps
ItersRangePoint
8
1.1311204215935077e-37
3.3749304973923834e-34
5.9108509699794535e-37
6
-641.7636927514584
-43.4953976628584
-44.46895104671862

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02859
14150
done4150

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.3s11820×body80valid