Details

Time bar (total: 1.2m)

sample603.0ms

Algorithm
intervals
Results
371.0ms96×body1280valid
129.0ms67×body640valid
26.0ms74×body80valid
15.0ms15×body320valid
3.0ms4×body160valid

simplify128.0ms

Counts
1 → 1
Iterations
IterNodes
done64
364
259
136
022

prune62.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize181.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (cos phi1) (sin delta)) (cos theta))
0.3b
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
0.3b
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
0.5b
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
9×*-un-lft-identity add-cube-cbrt
6×associate-*r* add-log-exp
4×expm1-log1p-u associate-*l* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
3×fma-neg prod-diff
2×*-commutative
1×asin-acos sub-neg flip3-- diff-log flip-- sin-mult unswap-sqr
Counts
4 → 75
Calls
4 calls:
36.0ms
(* (* (cos phi1) (sin delta)) (cos theta))
5.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
38.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
26.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

series1.2s

Counts
4 → 12
Calls
4 calls:
185.0ms
(* (* (cos phi1) (sin delta)) (cos theta))
46.0ms
(asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))
427.0ms
(* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))
501.0ms
(- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))

simplify7.2s

Counts
87 → 87
Iterations
IterNodes
done5001
34250
21087
1372
0163

prune2.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize223.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (sin delta) (* (cos phi1) (sin theta)))
0.3b
(asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))
0.3b
(* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))))
0.5b
(- (cos delta) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
9×*-un-lft-identity add-cube-cbrt
6×associate-*l* add-log-exp
4×expm1-log1p-u associate-*r* pow-prod-down prod-exp cbrt-unprod insert-posit16 log1p-expm1-u
3×fma-neg prod-diff
2×*-commutative
1×asin-acos sub-neg flip3-- diff-log flip-- sin-mult unswap-sqr
Counts
4 → 75
Calls
4 calls:
48.0ms
(* (sin delta) (* (cos phi1) (sin theta)))
1.0ms
(asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))
17.0ms
(* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))))
16.0ms
(- (cos delta) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))

series1.1s

Counts
4 → 12
Calls
4 calls:
186.0ms
(* (sin delta) (* (cos phi1) (sin theta)))
44.0ms
(asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))
427.0ms
(* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))))
481.0ms
(- (cos delta) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))

simplify6.5s

Counts
87 → 87
Iterations
IterNodes
done5000
33534
21020
1378
0170

prune1.9s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize564.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) 3))
0.3b
(* (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))
0.3b
(pow (cos delta) 3)
0.4b
(pow (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) 3)

rewrite181.0ms

Algorithm
rewrite-expression-head
Rules
96×prod-diff
57×add-sqr-sqrt
49×*-un-lft-identity
47×pow1 add-cube-cbrt
45×unpow-prod-down cube-prod
29×sqr-pow
23×cube-mult unpow3
20×add-cbrt-cube add-exp-log
18×pow-prod-down
12×fma-neg
9×prod-exp cbrt-unprod
8×difference-of-squares
6×pow-unpow add-log-exp
5×sin-mult
4×expm1-log1p-u pow-sqr pow-prod-up insert-posit16 log1p-expm1-u
3×pow-pow pow-exp rem-cube-cbrt
2×pow-to-exp pow-plus
1×cube-div pow2 frac-times difference-cubes sub-neg flip3-- diff-log swap-sqr associate-*r* associate-*l* associate-*l/ associate-*r/ *-commutative flip-- distribute-lft-out--
Counts
4 → 225
Calls
4 calls:
49.0ms
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) 3))
77.0ms
(* (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))
5.0ms
(pow (cos delta) 3)
12.0ms
(pow (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) 3)

series4.0s

Counts
4 → 12
Calls
4 calls:
2.5s
(- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) 3))
567.0ms
(* (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))))
75.0ms
(pow (cos delta) 3)
861.0ms
(pow (* (sin phi1) (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1)))))) 3)

simplify6.6s

Counts
237 → 237
Iterations
IterNodes
done5000
23632
1991
0333

prune5.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.1b

localize721.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
0.4b
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
0.4b
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
35.5b
(fma (- (pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)) (pow (sin phi1) 3) (* (pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3) (pow (sin phi1) 3)))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
9×pow-unpow unpow-prod-down cube-prod
7×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cube-mult pow-to-exp pow-pow unpow3 pow-exp rem-cube-cbrt sqr-pow
1×fma-udef
Counts
4 → 89
Calls
4 calls:
12.0ms
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
11.0ms
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
7.0ms
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
1.0ms
(fma (- (pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)) (pow (sin phi1) 3) (* (pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3) (pow (sin phi1) 3)))

series6.3s

Counts
4 → 12
Calls
4 calls:
665.0ms
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
661.0ms
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
666.0ms
(pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)
4.3s
(fma (- (pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3)) (pow (sin phi1) 3) (* (pow (sin (asin (fma (cos theta) (* (cos phi1) (sin delta)) (* (cos delta) (sin phi1))))) 3) (pow (sin phi1) 3)))

simplify4.1s

Counts
101 → 101
Iterations
IterNodes
done5007
21696
1429
0141

prune2.1s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 0.1b

regimes2.3s

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify43.0ms

Iterations
IterNodes
done55
255
153
037

end0.0ms

sample21.3s

Algorithm
intervals
Results
13.7s3144×body1280valid
4.2s1900×body640valid
1.5s690×body320valid
867.0ms1967×body80valid
295.0ms299×body160valid