Details

Time bar (total: 8.2s)

sample104.0ms

Algorithm
intervals
Results
21.0ms347×body80nan
15.0ms42×body1280valid
11.0ms193×body80valid
8.0ms12×body2560valid
8.0ms30×body640valid
2.0ms13×body320valid
1.0ms5×body160valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03210
15510
27610
38910
49210
59210

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.1b

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (* z t) 3.0)
0.2b
(/ a (* b 3.0))
0.3b
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
24.5b
(cos (- y (/ (* z t) 3.0)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log add-cbrt-cube
9×pow1 add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×times-frac
5×prod-exp cbrt-unprod
4×cbrt-undiv div-exp associate-/r* associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×cos-sum frac-2neg clear-num div-inv
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 72
Calls
4 calls:
9.0ms
(/ (* z t) 3.0)
10.0ms
(/ a (* b 3.0))
27.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
15.0ms
(cos (- y (/ (* z t) 3.0)))

series176.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(/ (* z t) 3.0)
18.0ms
(/ a (* b 3.0))
99.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
37.0ms
(cos (- y (/ (* z t) 3.0)))

simplify44.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 2 (38.0ms)

IterNodesCost
0404507
11689429
25001426

prune358.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 15.5b

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.3333333333333333 (* t z))
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (* 0.3333333333333333 (* t z)))))
0.2b
(/ a (* b 3.0))
24.5b
(cos (- y (* 0.3333333333333333 (* t z))))

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
19×add-exp-log add-cbrt-cube
14×pow1
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×prod-exp cbrt-unprod
6×pow-prod-down
4×associate-*r* associate-*l* add-log-exp
3×cos-diff times-frac associate-/l*
2×cbrt-undiv cos-sum div-exp *-commutative
1×distribute-rgt-in sub-neg frac-2neg distribute-lft-in clear-num associate-/r* div-inv
Counts
4 → 69
Calls
4 calls:
18.0ms
(* 0.3333333333333333 (* t z))
29.0ms
(* (* 2.0 (sqrt x)) (cos (- y (* 0.3333333333333333 (* t z)))))
7.0ms
(/ a (* b 3.0))
9.0ms
(cos (- y (* 0.3333333333333333 (* t z))))

series179.0ms

Counts
4 → 12
Calls
4 calls:
20.0ms
(* 0.3333333333333333 (* t z))
101.0ms
(* (* 2.0 (sqrt x)) (cos (- y (* 0.3333333333333333 (* t z)))))
19.0ms
(/ a (* b 3.0))
39.0ms
(cos (- y (* 0.3333333333333333 (* t z))))

simplify42.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (37.0ms)

IterNodesCost
0382493
11476415
25002412

prune292.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.4b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.3333333333333333 (* t z))
0.2b
(/ (/ a b) 3.0)
0.2b
(* (* 2.0 (sqrt x)) (cos (- y (* 0.3333333333333333 (* t z)))))
24.5b
(cos (- y (* 0.3333333333333333 (* t z))))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac
48×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
19×add-exp-log add-cbrt-cube
14×pow1
13×associate-/l*
6×pow-prod-down prod-exp cbrt-unprod
5×div-inv
4×associate-*r* associate-*l* add-log-exp
3×cbrt-undiv cos-diff div-exp associate-/r*
2×cos-sum *-commutative
1×distribute-rgt-in sub-neg frac-2neg distribute-lft-in clear-num associate-/l/
Counts
4 → 118
Calls
4 calls:
15.0ms
(* 0.3333333333333333 (* t z))
11.0ms
(/ (/ a b) 3.0)
28.0ms
(* (* 2.0 (sqrt x)) (cos (- y (* 0.3333333333333333 (* t z)))))
9.0ms
(cos (- y (* 0.3333333333333333 (* t z))))

series186.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* 0.3333333333333333 (* t z))
19.0ms
(/ (/ a b) 3.0)
104.0ms
(* (* 2.0 (sqrt x)) (cos (- y (* 0.3333333333333333 (* t z)))))
41.0ms
(cos (- y (* 0.3333333333333333 (* t z))))

simplify65.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 2 (55.0ms)

IterNodesCost
0606858
12351777
25001774

prune535.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 15.3b

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 (sqrt x)) (log (exp (cos (- y (* 0.3333333333333333 (* t z)))))))
0.2b
(/ a (* b 3.0))
0.5b
(log (exp (cos (- y (* 0.3333333333333333 (* t z))))))
24.5b
(cos (- y (* 0.3333333333333333 (* t z))))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
14×add-exp-log add-cbrt-cube
12×add-sqr-sqrt add-cube-cbrt log-prod *-un-lft-identity
11×pow1
8×log-pow
7×associate-*r*
6×exp-prod
4×distribute-rgt-in cos-diff cos-sum distribute-lft-in prod-exp cbrt-unprod add-log-exp
3×times-frac exp-sum pow-prod-down associate-/l*
2×cbrt-undiv sub-neg log-div exp-diff div-exp
1×frac-2neg rem-log-exp associate-*l* clear-num associate-/r* *-commutative div-inv
Counts
4 → 79
Calls
4 calls:
33.0ms
(* (* 2.0 (sqrt x)) (log (exp (cos (- y (* 0.3333333333333333 (* t z)))))))
8.0ms
(/ a (* b 3.0))
18.0ms
(log (exp (cos (- y (* 0.3333333333333333 (* t z))))))
9.0ms
(cos (- y (* 0.3333333333333333 (* t z))))

series198.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(* (* 2.0 (sqrt x)) (log (exp (cos (- y (* 0.3333333333333333 (* t z)))))))
18.0ms
(/ a (* b 3.0))
37.0ms
(log (exp (cos (- y (* 0.3333333333333333 (* t z))))))
40.0ms
(cos (- y (* 0.3333333333333333 (* t z))))

simplify48.0ms

Algorithm
egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0375750
11357636
25001627

prune315.0ms

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 15.3b

regimes2.2s

Accuracy

55.4% (1.8b remaining)

Error of 18.4b against oracle of 16.6b and baseline of 20.7b

bsearch2.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04624
14824
24824

end0.0ms

sample3.0s

Algorithm
intervals
Results
616.0ms9296×body80nan
606.0ms1588×body1280valid
334.0ms5616×body80valid
243.0ms928×body640valid
234.0ms363×body2560valid
80.0ms401×body320valid
24.0ms180×body160valid