Details

Time bar (total: 20.1s)

sample79.0ms

Algorithm
intervals
Results
39.0ms504×body80valid

simplify6.6s

Counts
1 → 1
Iterations

Useful iterations: 5 (2.6s)

IterNodesCost
02831
16729
221827
372227
4190527
5309126
6422426
done500126

prune21.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
5.3b
(* (* (* x 18.0) y) z)
5.8b
(* (* (* (* x 18.0) y) z) t)

rewrite119.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)
22.0ms
(* (* (* x 18.0) y) z)
80.0ms
(* (* (* (* x 18.0) y) z) t)

series141.0ms

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

simplify1.4s

Counts
101 → 101
Iterations

Useful iterations: 2 (299.0ms)

IterNodesCost
0145974
1366944
21796738
done5001738

prune447.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
0.2b
(* (* x 18.0) y)
0.2b
(* (* j 27.0) k)
10.6b
(* (* (* x 18.0) y) (* z t))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
13×add-log-exp
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*r*
4×expm1-log1p-u diff-log log1p-expm1-u
3×fma-neg associate-*l* prod-diff *-commutative
2×sum-log
1×associate--l- associate-+l- sub-neg flip3-- associate--l+ flip--
Counts
4 → 94
Calls
4 calls:
1.0s
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
7.0ms
(* (* x 18.0) y)
10.0ms
(* (* j 27.0) k)
25.0ms
(* (* (* x 18.0) y) (* z t))

series592.0ms

Counts
4 → 12
Calls
4 calls:
483.0ms
(- (+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
25.0ms
(* (* x 18.0) y)
23.0ms
(* (* j 27.0) k)
61.0ms
(* (* (* x 18.0) y) (* z t))

simplify1.1s

Counts
106 → 106
Iterations

Useful iterations: 2 (274.0ms)

IterNodesCost
01881638
14981598
220491250
done50001250

prune470.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
0.2b
(* (* j 27.0) k)
4.8b
(* y (* z t))
5.8b
(* (* x 18.0) (* y (* z t)))

rewrite772.0ms

Algorithm
rewrite-expression-head
Rules
35×pow1 add-exp-log add-cbrt-cube
21×pow-prod-down prod-exp cbrt-unprod
13×add-log-exp
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
5×associate-*r* associate-*l*
4×expm1-log1p-u diff-log log1p-expm1-u
3×fma-neg prod-diff *-commutative
2×sum-log
1×associate--l- associate-+l- sub-neg flip3-- associate--l+ flip--
Counts
4 → 94
Calls
4 calls:
736.0ms
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
7.0ms
(* (* j 27.0) k)
6.0ms
(* y (* z t))
20.0ms
(* (* x 18.0) (* y (* z t)))

series534.0ms

Counts
4 → 12
Calls
4 calls:
437.0ms
(- (+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
19.0ms
(* (* j 27.0) k)
24.0ms
(* y (* z t))
54.0ms
(* (* x 18.0) (* y (* z t)))

simplify1.0s

Counts
106 → 106
Iterations

Useful iterations: 2 (225.0ms)

IterNodesCost
01851631
14881593
219341295
done50011295

prune490.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 18.0 (* y (* z t)))
0.2b
(* (* j 27.0) k)
4.8b
(* y (* z t))
5.7b
(* x (* 18.0 (* y (* z t))))

rewrite77.0ms

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

series126.0ms

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

simplify899.0ms

Counts
101 → 101
Iterations

Useful iterations: 2 (144.0ms)

IterNodesCost
0138961
1345937
21360731
done5001731

prune427.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes1.7s

Accuracy

77.1% (1.2b remaining)

Error of 1.3b against oracle of 0.0b and baseline of 5.4b

bsearch4.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
058149
180149
done80149

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.2s16437×body80valid