Details

Time bar (total: 23.3s)

sample80.0ms

Algorithm
intervals
Results
34.0ms382×body80valid

simplify267.0ms

Counts
1 → 1
Iterations

Useful iterations: 4 (98.0ms)

IterNodesCost
01315
12615
26712
313611
418010
519110
619410
done19410

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite220.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:
33.0ms
(+ (+ x (* y z)) (* t a))
146.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
7.0ms
(+ x (* y z))
30.0ms
(* (* a z) b)

series369.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(+ (+ x (* y z)) (* t a))
169.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
40.0ms
(+ x (* y z))
59.0ms
(* (* a z) b)

simplify1.4s

Counts
85 → 85
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0123930
1353781
21526697
done5002662

prune414.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (* a z) b)
13.3b
(cbrt (* (* a z) b))
13.3b
(cbrt (* (* a z) b))
13.3b
(cbrt (* (* a z) b))

rewrite132.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)
38.0ms
(cbrt (* (* a z) b))
27.0ms
(cbrt (* (* a z) b))
27.0ms
(cbrt (* (* a z) b))

series541.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (* a z) b)
199.0ms
(cbrt (* (* a z) b))
139.0ms
(cbrt (* (* a z) b))
169.0ms
(cbrt (* (* a z) b))

simplify4.4s

Counts
65 → 65
Iterations

Useful iterations: done (4.4s)

IterNodesCost
080579
1183559
2626481
32140463
done5001435

prune437.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite3.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)

series257.0ms

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

simplify2.6s

Counts
26 → 26
Iterations

Useful iterations: 3 (121.0ms)

IterNodesCost
037287
160281
2132239
3512237
43583237
done5000237

prune105.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize34.0ms

Local error

Found 4 expressions with local error:

4.7b
(* (* a z) b)
4.7b
(* (* a z) b)
12.5b
(sqrt (* (* a z) b))
12.5b
(sqrt (* (* a z) b))

rewrite110.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
14×add-exp-log add-cbrt-cube
12×pow-prod-down
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity sqrt-pow1 associate-*r* prod-exp cbrt-unprod
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/2 associate-*l* sqrt-prod *-commutative
Counts
4 → 68
Calls
4 calls:
31.0ms
(* (* a z) b)
30.0ms
(* (* a z) b)
17.0ms
(sqrt (* (* a z) b))
29.0ms
(sqrt (* (* a z) b))

series254.0ms

Counts
4 → 12
Calls
4 calls:
49.0ms
(* (* a z) b)
43.0ms
(* (* a z) b)
75.0ms
(sqrt (* (* a z) b))
86.0ms
(sqrt (* (* a z) b))

simplify8.5s

Counts
80 → 80
Iterations

Useful iterations: 2 (78.0ms)

IterNodesCost
056550
1117512
2448444
31642444
43847444
done5000444

prune381.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes386.0ms

Accuracy

59.8% (0.9b remaining)

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

bsearch103.0ms

Steps
ItersRangePoint
7
1.1846653170446963e-234
1.9742642367161378e-233
1.6696320628942084e-233
8
-1.8091726529742054e-83
-7.173586699444711e-88
-1.4432147012844681e-84

simplify6.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02248
13234
done3234

end0.0ms

sample2.1s

Algorithm
intervals
Results
897.0ms11917×body80valid