Details

Time bar (total: 26.8s)

sample201.0ms

Algorithm
intervals
Results
37.0ms248×body80nan
36.0ms48×body1280valid
26.0ms10×body160valid
22.0ms174×body80valid
17.0ms30×body640valid
12.0ms10×body2560valid
5.0ms12×body320valid

simplify101.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01819
13319
25819
38219
49719
510419
610619
done10619

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.5b

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite111.0ms

Algorithm
rewrite-expression-head
Rules
23×cos-sum
22×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
21×prod-diff
19×add-exp-log add-cbrt-cube
15×times-frac
9×pow1
5×prod-exp cbrt-unprod div-inv
4×cbrt-undiv expm1-log1p-u div-exp associate-/r* log1p-expm1-u associate-/l* add-log-exp
3×cos-diff associate-*r* pow-prod-down
2×frac-2neg clear-num
1×distribute-rgt-in sub-neg distribute-lft-in associate-*l* *-commutative
Counts
4 → 101
Calls
4 calls:
13.0ms
(/ a (* b 3.0))
57.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
11.0ms
(/ (* z t) 3.0)
24.0ms
(cos (- y (/ (* z t) 3.0)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(/ a (* b 3.0))
152.0ms
(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
30.0ms
(/ (* z t) 3.0)
64.0ms
(cos (- y (/ (* z t) 3.0)))

simplify1.8s

Counts
113 → 113
Iterations

Useful iterations: done (1.8s)

IterNodesCost
03272847
16662377
218661875
done50001638

prune640.0ms

Pruning

22 alts after pruning (22 fresh and 0 done)

Merged error: 14.3b

localize51.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
3.3b
(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
23.9b
(sin (/ (* z t) 3.0))
24.4b
(cos (/ (* z t) 3.0))

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
28×pow1 add-exp-log add-cbrt-cube
16×pow-prod-down prod-exp cbrt-unprod
4×add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity log1p-expm1-u add-log-exp
2×associate-*r/ associate-*r* associate-*l* *-commutative
1×cos-mult sin-mult
Counts
4 → 68
Calls
4 calls:
60.0ms
(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
57.0ms
(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
4.0ms
(sin (/ (* z t) 3.0))
4.0ms
(cos (/ (* z t) 3.0))

series382.0ms

Counts
4 → 12
Calls
4 calls:
191.0ms
(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
145.0ms
(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
26.0ms
(sin (/ (* z t) 3.0))
20.0ms
(cos (/ (* z t) 3.0))

simplify1.9s

Counts
80 → 80
Iterations

Useful iterations: done (1.9s)

IterNodesCost
01381360
13481299
213671025
done50001011

prune635.0ms

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 14.2b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z)))))
3.3b
(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
23.9b
(sin (/ (* z t) 3.0))
24.1b
(cos (* 0.3333333333333333 (* t z)))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
28×pow1 add-exp-log add-cbrt-cube
16×pow-prod-down prod-exp cbrt-unprod
4×add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity log1p-expm1-u add-log-exp
2×associate-*r/ associate-*r* associate-*l* *-commutative
1×cos-mult sin-mult
Counts
4 → 68
Calls
4 calls:
112.0ms
(* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z)))))
43.0ms
(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
4.0ms
(sin (/ (* z t) 3.0))
34.0ms
(cos (* 0.3333333333333333 (* t z)))

series369.0ms

Counts
4 → 12
Calls
4 calls:
186.0ms
(* (* 2.0 (sqrt x)) (* (cos y) (cos (* 0.3333333333333333 (* t z)))))
147.0ms
(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
21.0ms
(sin (/ (* z t) 3.0))
14.0ms
(cos (* 0.3333333333333333 (* t z)))

simplify1.6s

Counts
80 → 80
Iterations

Useful iterations: done (1.6s)

IterNodesCost
01411360
13521299
213861024
done50011011

prune625.0ms

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 14.2b

localize47.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sin y) (sin (* 0.3333333333333333 (* t z))))
3.2b
(* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))
24.1b
(cos (* 0.3333333333333333 (* t z)))
24.5b
(sin (* 0.3333333333333333 (* t z)))

rewrite235.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
9×pow-prod-down prod-exp cbrt-unprod
8×add-sqr-sqrt
6×add-cube-cbrt *-un-lft-identity
4×expm1-log1p-u associate-*r* associate-*l* log1p-expm1-u add-log-exp
2×*-commutative sin-mult
1×associate-*r/ unswap-sqr
Counts
4 → 64
Calls
4 calls:
53.0ms
(* (sin y) (sin (* 0.3333333333333333 (* t z))))
127.0ms
(* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))
27.0ms
(cos (* 0.3333333333333333 (* t z)))
26.0ms
(sin (* 0.3333333333333333 (* t z)))

series328.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(* (sin y) (sin (* 0.3333333333333333 (* t z))))
189.0ms
(* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))
20.0ms
(cos (* 0.3333333333333333 (* t z)))
35.0ms
(sin (* 0.3333333333333333 (* t z)))

simplify4.1s

Counts
76 → 76
Iterations

Useful iterations: done (4.1s)

IterNodesCost
01011062
12181029
2809847
33658837
done5000825

prune459.0ms

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 14.2b

regimes4.0s

Accuracy

33.5% (2.5b remaining)

Error of 18.8b against oracle of 16.3b and baseline of 20.1b

bsearch240.0ms

Steps
ItersRangePoint
2
6.751945883547747
7.2857711062817705
6.8186740363895
7
-3.0084179114430052e-64
-9.327305263849582e-66
-2.9191194611662207e-64

simplify11.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
049103
163103
done63103

end0.0ms

sample8.2s

Algorithm
intervals
Results
2.5s5595×body80valid
1.6s9092×body80nan
1.5s1554×body1280valid
689.0ms947×body640valid
561.0ms392×body2560valid
225.0ms426×body320valid
61.0ms222×body160valid