Details

Time bar (total: 18.3s)

sample76.0ms

Algorithm
intervals
Results
37.0ms539×body80valid

simplify5.8s

Counts
1 → 1
Iterations

Useful iterations: 5 (2.3s)

IterNodesCost
02831
16729
221827
372227
4190527
5309126
6422426
done500126

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.9b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite125.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:
7.0ms
(* (* x 18.0) y)
7.0ms
(* (* j 27.0) k)
25.0ms
(* (* (* x 18.0) y) z)
83.0ms
(* (* (* (* x 18.0) y) z) t)

series142.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* x 18.0) y)
22.0ms
(* (* j 27.0) k)
38.0ms
(* (* (* x 18.0) y) z)
56.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.3s

Counts
101 → 101
Iterations

Useful iterations: 2 (288.0ms)

IterNodesCost
0145974
1366944
21796738
done5001738

prune443.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* j (* 27.0 k))
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite120.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:
7.0ms
(* (* x 18.0) y)
6.0ms
(* j (* 27.0 k))
22.0ms
(* (* (* x 18.0) y) z)
82.0ms
(* (* (* (* x 18.0) y) z) t)

series140.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(* (* x 18.0) y)
22.0ms
(* j (* 27.0 k))
33.0ms
(* (* (* x 18.0) y) z)
60.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.1s

Counts
101 → 101
Iterations

Useful iterations: 2 (270.0ms)

IterNodesCost
0143971
1358943
21711737
done5000737

prune453.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* 27.0 (* k j))
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite120.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:
7.0ms
(* (* x 18.0) y)
6.0ms
(* 27.0 (* k j))
22.0ms
(* (* (* x 18.0) y) z)
83.0ms
(* (* (* (* x 18.0) y) z) t)

series146.0ms

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

simplify1.3s

Counts
101 → 101
Iterations

Useful iterations: 2 (261.0ms)

IterNodesCost
0141971
1354943
21700737
done5000737

prune476.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
0.3b
(* (sqrt 27.0) (* k j))
4.9b
(* (* (* x 18.0) y) z)
7.6b
(* (* (* (* x 18.0) y) z) t)

rewrite135.0ms

Algorithm
rewrite-expression-head
Rules
41×pow1 add-exp-log add-cbrt-cube
25×pow-prod-down prod-exp cbrt-unprod
14×associate-*l*
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
8×associate-*r*
6×sqrt-prod
4×expm1-log1p-u *-commutative log1p-expm1-u add-log-exp
Counts
4 → 98
Calls
4 calls:
21.0ms
(* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
8.0ms
(* (sqrt 27.0) (* k j))
22.0ms
(* (* (* x 18.0) y) z)
80.0ms
(* (* (* (* x 18.0) y) z) t)

series253.0ms

Counts
4 → 12
Calls
4 calls:
98.0ms
(* (sqrt 27.0) (* (sqrt 27.0) (* k j)))
59.0ms
(* (sqrt 27.0) (* k j))
34.0ms
(* (* (* x 18.0) y) z)
61.0ms
(* (* (* (* x 18.0) y) z) t)

simplify1.4s

Counts
110 → 110
Iterations

Useful iterations: 2 (212.0ms)

IterNodesCost
01541208
14021050
21756828
done5001828

prune488.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes1.4s

Accuracy

-11.4% (5.6b remaining)

Error of 5.7b against oracle of 0.2b and baseline of 5.1b

bsearch685.0ms

Steps
ItersRangePoint
8
9.519653545817431e+22
2.854975354716104e+26
1.7946900526051252e+23
8
2.1242874877976994e-40
1.7945012758708918e-36
7.832862067016947e-40
0
-0.0
2.4736045721775e-314
1.2368022860888e-314
10
-1.497268223377421e-08
-4.2742691180387066e-21
-1.6071174332412006e-10
6
-1.2320363817285869e+45
-7.765421963151271e+43
-4.728969445617458e+44
8
-9.663902673474813e+162
-3.990648692615377e+159
-7.786974238903873e+161

simplify15.0ms

Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
080243
1110241
done110241

end0.0ms

sample2.1s

Algorithm
intervals
Results
1.2s16045×body80valid