Details

Time bar (total: 28.1s)

sample142.0ms

Algorithm
intervals
Results
72.0ms519×body80valid

simplify3.8s

Counts
1 → 1
Iterations

Useful iterations: done (3.8s)

IterNodesCost
02831
16729
222127
379527
4364327
done500026

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.1b

localize27.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* j 27.0) k)
0.4b
(* (* x 18.0) y)
3.5b
(* (* (* x 18.0) y) z)
5.6b
(* (* (* (* x 18.0) y) z) t)

rewrite370.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
19.0ms
(* (* j 27.0) k)
26.0ms
(* (* x 18.0) y)
69.0ms
(* (* (* x 18.0) y) z)
252.0ms
(* (* (* (* x 18.0) y) z) t)

series174.0ms

Counts
4 → 12
Calls
4 calls:
28.0ms
(* (* j 27.0) k)
27.0ms
(* (* x 18.0) y)
49.0ms
(* (* (* x 18.0) y) z)
68.0ms
(* (* (* (* x 18.0) y) z) t)

simplify3.4s

Counts
101 → 101
Iterations

Useful iterations: done (3.4s)

IterNodesCost
0145974
1379944
23069780
done5001774

prune643.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.8b

localize29.0ms

Local error

Found 4 expressions with local error:

0.2b
(* x (* y 18.0))
0.3b
(* (* j 27.0) k)
3.5b
(* (* x (* y 18.0)) z)
5.6b
(* (* (* x (* y 18.0)) z) t)

rewrite374.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
20.0ms
(* x (* y 18.0))
21.0ms
(* (* j 27.0) k)
98.0ms
(* (* x (* y 18.0)) z)
232.0ms
(* (* (* x (* y 18.0)) z) t)

series181.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* x (* y 18.0))
23.0ms
(* (* j 27.0) k)
49.0ms
(* (* x (* y 18.0)) z)
73.0ms
(* (* (* x (* y 18.0)) z) t)

simplify2.4s

Counts
101 → 101
Iterations

Useful iterations: done (2.4s)

IterNodesCost
0142973
1370945
22539763
done5000743

prune581.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.8b

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* j 27.0) k)
0.3b
(* (* y x) 18.0)
3.5b
(* (* (* y x) 18.0) z)
5.6b
(* (* (* (* y x) 18.0) z) t)

rewrite391.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u associate-*l* *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
20.0ms
(* (* j 27.0) k)
28.0ms
(* (* y x) 18.0)
76.0ms
(* (* (* y x) 18.0) z)
260.0ms
(* (* (* (* y x) 18.0) z) t)

series192.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (* j 27.0) k)
26.0ms
(* (* y x) 18.0)
38.0ms
(* (* (* y x) 18.0) z)
89.0ms
(* (* (* (* y x) 18.0) z) t)

simplify2.6s

Counts
101 → 101
Iterations

Useful iterations: done (2.6s)

IterNodesCost
0145974
1379944
22665780
done5001774

prune681.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.8b

localize49.0ms

Local error

Found 4 expressions with local error:

0.2b
(* j (* 27.0 k))
0.4b
(* (* x 18.0) y)
3.5b
(* (* (* x 18.0) y) z)
5.6b
(* (* (* (* x 18.0) y) z) t)

rewrite384.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 89
Calls
4 calls:
27.0ms
(* j (* 27.0 k))
19.0ms
(* (* x 18.0) y)
86.0ms
(* (* (* x 18.0) y) z)
247.0ms
(* (* (* (* x 18.0) y) z) t)

series167.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* j (* 27.0 k))
29.0ms
(* (* x 18.0) y)
44.0ms
(* (* (* x 18.0) y) z)
72.0ms
(* (* (* (* x 18.0) y) z) t)

simplify2.9s

Counts
101 → 101
Iterations

Useful iterations: done (2.9s)

IterNodesCost
0143971
1367943
22805775
done5000773

prune768.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.8b

regimes996.0ms

Accuracy

31.5% (3.3b remaining)

Error of 3.9b against oracle of 0.7b and baseline of 5.5b

bsearch418.0ms

Steps
ItersRangePoint
7
4.3511264724805166e-64
5.4873591195100445e-62
4.339340101075433e-63
10
-1.1793351489066978e-177
-1.6636412691945788e-189
-4.80252135313659e-178

simplify6.0ms

Iterations

Useful iterations: 1 (4.0ms)

IterNodesCost
04690
16486
done6486

end0.0ms

sample6.3s

Algorithm
intervals
Results
4.2s16342×body80valid